Efficient Recursive Aggregation and Negation in Deductive Databases.
David B. KempKotagiri RamamohanaraoPublished in: IEEE Trans. Knowl. Data Eng. (1998)
Keyphrases
- deductive databases
- datalog programs
- logic programming
- integrity constraints
- fixpoint
- disjunctive deductive databases
- semantic query optimization
- query evaluation
- integrity checking
- declarative semantics
- closed world assumption
- logic programs
- model theoretic
- constraint checking
- update propagation
- fixpoint semantics
- stable models
- normal logic programs
- declarative language
- databases
- query answering
- database systems
- knowledge base