Functional Dependencies in Horn Theories.
Toshihide IbarakiAlexander KoganKazuhisa MakinoPublished in: Artif. Intell. (1999)
Keyphrases
- horn theories
- functional dependencies
- relational databases
- database design
- normal form
- integrity constraints
- relational model
- canonical representation
- data dependencies
- database schemes
- universal relation
- inclusion dependencies
- xml documents
- conflict free
- user defined
- cardinality constraints
- set of functional dependencies
- approximate functional dependencies
- logical implication
- machine learning
- database