Top-Down Query Processing in First-Order Deductive Databases under the DWFS.
C. A. JohnsonPublished in: J. Autom. Reason. (2004)
Keyphrases
- deductive databases
- query processing
- query evaluation
- model theoretic
- general logic programs
- integrity constraints
- fixpoint
- semantic query optimization
- disjunctive deductive databases
- data management
- integrity checking
- declarative language
- database systems
- logic programming
- closed world assumption
- data complexity
- query execution
- cost model
- query optimization
- xml data
- constraint checking
- fixpoint semantics
- high level
- declarative semantics
- conjunctive queries
- index structure
- query language
- semantics of logic programs
- stable models
- normal logic programs
- hypothetical reasoning