Detection and exploitation of functional dependencies for model generation.
Broes De CatMaurice BruynooghePublished in: Theory Pract. Log. Program. (2013)
Keyphrases
- functional dependencies
- relational databases
- database design
- integrity constraints
- normal form
- relational model
- conflict free
- database schemes
- data dependencies
- approximate functional dependencies
- entity relationship
- set of functional dependencies
- inclusion dependencies
- universal relation
- logical implication
- horn theories
- database schema
- data structure
- cardinality constraints
- logic programs
- relational database theory