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.
KeywordsDependency Graph Data Dependency Transitive Closure Relational Algebra Relation Symbol
Unable to display preview. Download preview PDF.