A Uniform Fixpoint Approach to the Implementation of Inference Methods for Deductive Databases.
Andreas BehrendPublished in: INAP/WLP (2011)
Keyphrases
- deductive databases
- fixpoint
- integrity constraints
- logic programming
- model theoretic
- logic programs
- query evaluation
- fixpoint semantics
- closed world assumption
- update propagation
- stable models
- datalog programs
- finite state machines
- recursive queries
- object oriented
- knowledge representation
- artificial intelligence
- semantics of logic programs
- normal logic programs
- knowledge base