Reasoning About Embedded Dependencies Using Inclusion Dependencies.
Miika HannulaPublished in: LPAR (2015)
Keyphrases
- inclusion dependencies
- complete axiomatization
- integrity constraints
- functional dependencies
- data dependencies
- relational databases
- databases
- relational model
- data exchange
- tuple generating dependencies
- universal relation
- inference rules
- database theory
- set of functional dependencies
- database schemes
- containment of conjunctive queries
- normal form
- query answering
- management system
- conjunctive queries
- database schema
- database design
- data integration
- object oriented
- data model
- high level