Towards an Efficient Evaluation of Recursive Aggregates in Deductive Databases.
Alexandre LefebvrePublished in: New Gener. Comput. (1994)
Keyphrases
- deductive databases
- integrity constraints
- logic programming
- datalog programs
- fixpoint
- query evaluation
- disjunctive deductive databases
- semantic query optimization
- integrity checking
- declarative language
- hypothetical reasoning
- recursive queries
- semantics of logic programs
- multiple inheritance
- relational databases
- databases
- model theoretic
- constraint checking
- closed world assumption
- metadata