A Complete Proof Procedure for Efficient Integrity Checking in Deductive Databases.
Georg NüsselHendrik DeckerMatilde CelmaJuan Carlos CasamayorPublished in: DAISD (1992)
Keyphrases
- deductive databases
- integrity checking
- model theoretic
- integrity constraints
- proof procedure
- semantic query optimization
- logic programming
- fixpoint
- query evaluation
- active rules
- theorem proving
- constraint logic programming
- xml documents
- formal model
- propositional logic
- database
- logic programs
- database systems
- high level
- knowledge base
- machine learning
- databases