Testing Satisfaction of Functional Dependencies.
Peter HoneymanPublished in: XP1 Workshop on Database Theory (1980)
Keyphrases
- functional dependencies
- normal form
- relational databases
- integrity constraints
- relational model
- database design
- data dependencies
- database schemes
- inclusion dependencies
- approximate functional dependencies
- conflict free
- database schema
- universal relation
- user defined
- cardinality constraints
- entity relationship
- multivalued dependencies
- horn theories
- set of functional dependencies
- answering queries using views
- relational database theory
- logical implication
- relational algebra
- case study
- object oriented