Title :
Logic approaches for deductive databases
Author :
Leung, Yim Yung ; Lee, Dik Lun
Author_Institution :
Ohio State Univ., Columbus, OH, USA
Abstract :
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.<>
Keywords :
expert systems; inference mechanisms; relational databases; Prolog; deductive databases; inference mechanism; relational systems; Batteries; Calculus; Data models; Database systems; Deductive databases; Inference mechanisms; Information retrieval; Logic design; Logic programming; Relational databases;
Journal_Title :
IEEE Expert
