Functions as types or the "Hoare logic" of functional dependencies
Jose N. OliveiraPublished in: CoRR (2012)
Keyphrases
- functional dependencies
- logical implication
- integrity constraints
- database design
- normal form
- semantic data models
- relational databases
- data dependencies
- conflict free
- database schemes
- inclusion dependencies
- multi valued
- relational model
- database schema
- xml documents
- entity relationship
- approximate functional dependencies
- horn theories
- cardinality constraints
- automated reasoning
- user defined
- answering queries using views
- active rules
- databases
- database