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