An Elementary Proof of Double Greibach Normal Form.
Joost EngelfrietPublished in: Inf. Process. Lett. (1992)
Keyphrases
- normal form
- database design
- relational algebra
- relational databases
- functional dependencies
- information content
- nested relations
- theorem proving
- theorem prover
- prime implicates
- relational database theory
- boolean expressions
- set of functional dependencies
- null values
- data dependencies
- database applications
- object oriented
- data model