The Implication Problem for Functional and Inclusion Dependencies is Undecidable.
Ashok K. ChandraMoshe Y. VardiPublished in: SIAM J. Comput. (1985)
Keyphrases
- inclusion dependencies
- functional dependencies
- integrity constraints
- complete axiomatization
- relational databases
- data dependencies
- relational model
- databases
- database design
- normal form
- data exchange
- set of functional dependencies
- inference rules
- database schemes
- data model
- knowledge base
- universal relation
- conflict free
- np complete
- xml documents
- relational database management systems
- equality generating dependencies
- containment of conjunctive queries
- case study
- database theory
- database schema
- conjunctive queries
- database
- query language
- probability distribution
- user defined