Constructing interpretations of deductive databases using reduction and dynamic stratification.
C. A. JohnsonPublished in: Data Knowl. Eng. (2001)
Keyphrases
- deductive databases
- integrity constraints
- fixpoint
- logic programming
- disjunctive deductive databases
- query evaluation
- semantic query optimization
- closed world assumption
- integrity checking
- model theoretic
- stable models
- declarative language
- data mining
- datalog programs
- semantics of logic programs
- constraint checking
- declarative semantics
- data sources
- query processing
- data analysis