Reducing BDD Size by Exploiting Functional Dependencies.
Alan J. HuDavid L. DillPublished in: DAC (1993)
Keyphrases
- functional dependencies
- relational databases
- integrity constraints
- normal form
- database design
- database schemes
- conflict free
- approximate functional dependencies
- relational model
- data dependencies
- inclusion dependencies
- universal relation
- user defined
- database schema
- xml documents
- entity relationship
- cardinality constraints
- relational schema
- logical implication
- set of functional dependencies
- object oriented
- dynamic constraints
- horn theories
- data structure