Evaluation of Recursive Queries with Extended Rules in Deductive Databases.
Sang Ho LeeLawrence J. HenschenPublished in: IEEE Trans. Knowl. Data Eng. (1995)
Keyphrases
- deductive databases
- recursive queries
- fixpoint
- semantic query optimization
- datalog programs
- integrity constraints
- logic programming
- query evaluation
- transitive closure
- query language
- query optimization
- update propagation
- integrity checking
- horn clauses
- finite state machines
- background knowledge
- general purpose
- query processing
- relational databases
- databases