Classification of Recursive Formulas in Deductive Databases.
Cheong YounLawrence J. HenschenJiawei HanPublished in: SIGMOD Conference (1988)
Keyphrases
- deductive databases
- integrity constraints
- datalog programs
- fixpoint
- logic programming
- semantic query optimization
- disjunctive deductive databases
- closed world assumption
- query evaluation
- machine learning
- hypothetical reasoning
- declarative language
- model theoretic
- integrity checking
- normal logic programs
- databases
- stable models
- logic programs
- software engineering
- constraint checking
- high level