A Characterization of Terms of the lambda I-Calculus Having a Normal Form.

Henk Barendregt

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

Keyphrases

normal form
functional dependencies
database design
relational algebra
relational calculus
nested relations
relational databases
information content
data dependencies
prime implicates
expressive power
integrity constraints