An Improved Prenex Normal Form.

Chen C. Chang H. Jerome Keisler

Published in: J. Symb. Log. (1962)

Keyphrases

normal form
database design
nested relations
relational databases
functional dependencies
relational algebra
information content
relational database theory
data dependencies
boolean expressions
data structure
case study
sensor networks
database applications
prime implicates
disjunctive normal form