Functional dependencies of C functions via weakest pre-conditions.
Pascal CuoqBenjamin MonateAnne PacaletVirgile PrevostoPublished in: Int. J. Softw. Tools Technol. Transf. (2011)
Keyphrases
- functional dependencies
- normal form
- relational databases
- database design
- integrity constraints
- database schemes
- relational model
- conflict free
- data dependencies
- approximate functional dependencies
- xml documents
- inclusion dependencies
- database schema
- entity relationship
- horn theories
- cardinality constraints
- databases
- relational schema
- user defined
- data integration
- universal relation
- dynamic constraints
- logical implication
- knowledge representation
- relational database theory
- database systems