Exploiting functional dependencies in declarative problem specifications.
Toni ManciniMarco CadoliPublished in: Artif. Intell. (2007)
Keyphrases
- functional dependencies
- integrity constraints
- attribute grammars
- database design
- relational databases
- normal form
- relational model
- database schemes
- data dependencies
- high level
- inclusion dependencies
- conflict free
- universal relation
- cardinality constraints
- formal specification
- horn theories
- user defined
- knowledge representation
- xml documents
- set of functional dependencies
- logical implication
- database schema
- database
- approximate functional dependencies
- dynamic constraints
- null values
- automated reasoning