-Sentences and Its Application to Normal Form Theorems.

Jean-Yves Girard Peter Päppinghaus

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

Keyphrases

normal form
functional dependencies
relational databases
database design
relational algebra
nested relations
information content
data dependencies
prime implicates
database
boolean expressions
relational database theory
desirable properties
propositional logic
disjunctive normal form