Inferring Minimal Functional Dependencies in Horn and q-Horn Theories.
Toshihide IbarakiAlexander KoganKazuhisa MakinoPublished in: Ann. Math. Artif. Intell. (2003)
Keyphrases
- horn theories
- functional dependencies
- canonical representation
- integrity constraints
- relational databases
- database design
- normal form
- relational model
- conflict free
- database schemes
- data dependencies
- inclusion dependencies
- xml documents
- universal relation
- cardinality constraints
- approximate functional dependencies
- answering queries using views
- databases
- multivalued dependencies
- logical formulas
- machine learning