Graphical Reasoning for Sets of Functional Dependencies.
János DemetrovicsAndrás J. MolnárBernhard ThalheimPublished in: ER (2004)
Keyphrases
- functional dependencies
- relational databases
- integrity constraints
- normal form
- database design
- relational model
- database schemes
- logical implication
- user defined
- conflict free
- approximate functional dependencies
- database schema
- universal relation
- automated reasoning
- cardinality constraints
- data dependencies
- inclusion dependencies
- xml documents
- set of functional dependencies
- horn theories
- knowledge base
- relational algebra
- knowledge representation
- database
- entity relationship
- probabilistic reasoning
- database applications
- relational database theory