Reasoning about embedded dependencies using inclusion dependencies.
Miika HannulaPublished in: CoRR (2015)
Keyphrases
- inclusion dependencies
- complete axiomatization
- integrity constraints
- functional dependencies
- databases
- data dependencies
- relational databases
- relational model
- inference rules
- data exchange
- database theory
- universal relation
- tuple generating dependencies
- database
- set of functional dependencies
- database schemes
- containment of conjunctive queries
- database design
- equality generating dependencies
- incomplete information
- management system
- data model
- data structure
- bayesian networks
- database systems