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 


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