Sound and Decidable Type Inference for Functional Dependencies.
Gregory J. DuckSimon L. Peyton JonesPeter J. StuckeyMartin SulzmannPublished in: ESOP (2004)
Keyphrases
- functional dependencies
- relational databases
- integrity constraints
- horn theories
- normal form
- database design
- conflict free
- universal relation
- database schemes
- relational model
- approximate functional dependencies
- inclusion dependencies
- database schema
- user defined
- data dependencies
- first order logic
- object oriented
- xml documents
- logical implication
- set of functional dependencies
- databases
- data exchange
- datalog programs
- np complete
- case study