Towards an Efficient Evaluation of Recursive Aggregates in Deductive Databases.
Alexandre LefebvrePublished in: FGCS (1992)
Keyphrases
- deductive databases
- integrity constraints
- datalog programs
- fixpoint
- logic programming
- semantic query optimization
- disjunctive deductive databases
- query evaluation
- closed world assumption
- constraint checking
- databases
- integrity checking
- declarative semantics
- recursive queries
- model theoretic
- fixpoint semantics
- description logics
- knowledge representation