On functional dependencies in q-Horn theories.
Toshihide IbarakiAlexander KoganKazuhisa MakinoPublished in: Artif. Intell. (2001)
Keyphrases
- horn theories
- functional dependencies
- relational databases
- database design
- integrity constraints
- normal form
- relational model
- canonical representation
- data dependencies
- database schemes
- conflict free
- user defined
- database schema
- logical implication
- knowledge base
- data structure
- inclusion dependencies
- xml documents
- database
- cardinality constraints