Evaluating Queries in Deductive Databases by Generating.
Eliezer L. LozinskiiPublished in: IJCAI (1985)
Keyphrases
- deductive databases
- query evaluation
- semantic query optimization
- integrity constraints
- constraint checking
- query processing
- fixpoint
- disjunctive deductive databases
- logic programming
- query language
- integrity checking
- probabilistic databases
- data management
- declarative language
- database
- hypothetical reasoning
- model theoretic
- data complexity
- datalog programs
- view definitions
- closed world assumption
- recursive queries
- data sources
- conjunctive queries
- range queries
- query optimization
- object oriented
- relational database systems
- declarative semantics
- logic programs