Exploiting Functional Dependencies in Declarative Problem Specifications.
Marco CadoliToni ManciniPublished in: JELIA (2004)
Keyphrases
- functional dependencies
- relational databases
- integrity constraints
- attribute grammars
- normal form
- relational model
- database design
- high level
- conflict free
- database schemes
- relational schema
- data dependencies
- xml documents
- inclusion dependencies
- approximate functional dependencies
- cardinality constraints
- user defined
- horn theories
- relational algebra
- database schema
- multivalued dependencies
- logical implication
- formal specification
- set of functional dependencies
- knowledge representation
- database systems