Functional Dependency for Verification Reduction.
Jie-Hong Roland JiangRobert K. BraytonPublished in: CAV (2004)
Keyphrases
- functional dependencies
- normal form
- integrity constraints
- relational databases
- database design
- approximate functional dependencies
- data transformation
- conflict free
- data dependencies
- inclusion dependencies
- relational model
- xml documents
- model checking
- database schemes
- horn theories
- multivalued dependencies
- set of functional dependencies
- user defined
- universal relation
- database
- relational schema
- data model
- bayes net
- database systems