Understanding functional dependencies via constraint handling rules.
Martin SulzmannGregory J. DuckSimon L. Peyton JonesPeter J. StuckeyPublished in: J. Funct. Program. (2007)
Keyphrases
- functional dependencies
- relational databases
- database design
- integrity constraints
- normal form
- constraint handling rules
- relational model
- conflict free
- data dependencies
- database schemes
- xml documents
- entity relationship
- relational schema
- universal relation
- approximate functional dependencies
- database schema
- cardinality constraints
- horn theories
- database
- logical implication
- user defined
- inclusion dependencies
- set of functional dependencies
- relational algebra
- dynamic constraints
- databases