Lambda-terms as total or partial functions on normal forms.

Corrado Böhm Mariangiola Dezani-Ciancaglini

Published in: Lambda-Calculus and Computer Science Theory (1975)

Keyphrases

normal form
relational databases
functional dependencies
database design
nested relations
multi valued
data dependencies
formal definitions
data structure
database theory
function symbols
database
management system
information content
relational algebra