Deductive Databases

  • Mark Levene
  • George Loizou


We have already introduced deductive databases in Subsection 1.7.5 of Chapter 1 and have formalised the rule-based deductive database language, Datalog, in Subsection 3.2.3 of Chapter 3. The investigation of deductive databases, also known as logical databases, has been one of the most significant and prolific strands in database theory in the last decade. We now discuss the motivation for researching deductive databases.


Dependency Graph Data Dependency Transitive Closure Relational Algebra Relation Symbol 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag London 1999

Authors and Affiliations

  • Mark Levene
    • 1
  • George Loizou
    • 2
  1. 1.Department of Computer ScienceUniversity College LondonLondonUK
  2. 2.Department of Computer ScienceBirkbeck CollegeLondonUK

Personalised recommendations