A Non-explosive Treatment of Functional Dependencies Using Rewriting Logic.
Gabriel AguileraPablo CorderoManuel EncisoAngel MoraInmaculada Perez de GuzmánPublished in: SBIA (2004)
Keyphrases
- functional dependencies
- logical implication
- integrity constraints
- relational databases
- normal form
- database design
- database schemes
- inclusion dependencies
- conflict free
- multi valued
- relational model
- conjunctive queries
- user defined
- data dependencies
- xml documents
- logic programming
- universal relation
- approximate functional dependencies
- modal logic
- set of functional dependencies
- query rewriting
- database schema
- cardinality constraints
- horn theories
- predicate logic
- object oriented
- active rules
- databases