The implication problem of data dependencies over SQL table definitions: Axiomatic, algorithmic and logical characterizations.
Sven HartmannSebastian LinkPublished in: ACM Trans. Database Syst. (2012)
Keyphrases
- data dependencies
- functional dependencies
- relational databases
- relational model
- database design
- acyclic database schemes
- sql statements
- database schemes
- database
- normal form
- sql queries
- join dependencies
- databases
- relational algebra
- database schema
- inclusion dependencies
- relational tables
- relational database systems
- query language
- object oriented
- database technology
- database applications
- database systems
- integrity constraints
- conflict free
- data model
- xml documents
- functional and multivalued dependencies
- domain knowledge
- database management systems
- vector field
- data types