Logic approaches for deductive databases
Yim Yung Leung, Dik Lun Lee · IEEE Expert · 1988
Various ways of introducing deductive capability into a database system through the use of logic are examined. The inference mechanism of Prolog and its use in deductive databases are introduced. Different approaches to designing deductive database systems according to a taxonomy are described. Examples are provided for each approach, and their limitations are discussed.>