Testing Containment of Conjunctive Queries under Functional and Inclusion Dependencies.
David S. JohnsonAnthony C. KlugPublished in: J. Comput. Syst. Sci. (1984)
Keyphrases
- containment of conjunctive queries
- inclusion dependencies
- integrity constraints
- functional dependencies
- relational databases
- data dependencies
- databases
- data exchange
- relational model
- inference rules
- query containment
- decision procedures
- xml documents
- schema mappings
- database theory
- database management systems
- distributed systems
- bayesian networks