Logic approaches for deductive databases

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.<
>