Integrity and Recursion: Two Key Issues for Deductive Databases.
Rainer MantheyPublished in: IS/KI (1990)
Keyphrases
- deductive databases
- key issues
- integrity checking
- integrity constraints
- constraint checking
- semantic query optimization
- disjunctive deductive databases
- logic programming
- fixpoint
- query evaluation
- declarative language
- declarative semantics
- closed world assumption
- functional dependencies
- datalog programs
- model theoretic
- machine learning
- conjunctive queries
- logic programs
- xml documents
- data analysis
- databases