A relation-algebraic approach to the "Hoare logic" of functional dependencies.
José Nuno OliveiraPublished in: J. Log. Algebraic Methods Program. (2014)
Keyphrases
- functional dependencies
- universal relation
- logical implication
- relational databases
- integrity constraints
- normal form
- multivalued dependencies
- database design
- inclusion dependencies
- relational model
- database schemes
- conflict free
- functional and multivalued dependencies
- xml documents
- approximate functional dependencies
- data dependencies
- relational database theory
- database schema
- multi valued
- modal logic
- xml keys
- horn theories
- logic programming
- automated reasoning
- databases
- relational algebra
- cardinality constraints
- data structure
- boyce codd normal form
- database
- null values
- relational data model
- predicate logic
- active rules
- entity relationship
- description logics
- object oriented
- case study