A Uniform Fixpoint Approach to the Implementation of Inference Methods for Deductive Databases
Andreas BehrendPublished in: CoRR (2011)
Keyphrases
- deductive databases
- fixpoint
- integrity constraints
- logic programming
- logic programs
- fixpoint semantics
- query evaluation
- model theoretic
- closed world assumption
- stable models
- datalog programs
- semantics of logic programs
- declarative semantics
- recursive queries
- update propagation
- horn clauses
- relational database systems
- hidden markov models
- xml documents
- knowledge base