Normal forms and syntactic completeness proofs for functional independencies.
Duminda WijesekeraM. GaneshJaideep SrivastavaAnil NerodePublished in: Theor. Comput. Sci. (2001)
Keyphrases
- normal form
- formal proofs
- database design
- equational theories
- relational databases
- functional dependencies
- database theory
- formal definitions
- nested relations
- information content
- relational algebra
- data dependencies
- conditional independence
- function symbols
- directed acyclic graph
- prime implicates
- theorem proving
- relational database theory
- natural language
- bayesian networks
- complex objects