Further Improvements on Integrity Constraint Checking for Stratifiable Deductive Databases.
Sin Yeung LeeTok Wang LingPublished in: VLDB (1996)
Keyphrases
- constraint checking
- deductive databases
- fixpoint
- integrity constraints
- integrity checking
- disjunctive deductive databases
- query evaluation
- logic programming
- semantic query optimization
- datalog programs
- active rules
- semantics of logic programs
- closed world assumption
- database schema
- query processing
- general purpose
- query language
- machine learning