Preservation of Integrity Constraints in Definite DATALOG Programs.
Ke WangLi-Yan YuanPublished in: Inf. Process. Lett. (1992)
Keyphrases
- integrity constraints
- datalog programs
- deductive databases
- conjunctive queries
- query answering
- semantic query optimization
- inconsistent databases
- fixpoint
- functional dependencies
- integrity checking
- data complexity
- recursive queries
- database schema
- xml documents
- query rewriting
- query containment
- null values
- xml schema
- decision procedures
- consistent query answering