Evaluation of Extended Recursive Queries in Deductive Databases.
Sang Ho LeeLawrence J. HenschenPublished in: DASFAA (1991)
Keyphrases
- deductive databases
- fixpoint
- recursive queries
- semantic query optimization
- datalog programs
- integrity constraints
- query evaluation
- logic programming
- transitive closure
- query optimization
- integrity checking
- update propagation
- expressive power
- query language
- stable models
- query answering
- logic programs
- programming language
- inference rules
- relational algebra
- database theory
- special case