Type Theories, Normal Forms and D_\infty-Lambda-Models

Mario Coppo Mariangiola Dezani-Ciancaglini Maddalena Zacchi

Published in: Inf. Comput. (1987)

Keyphrases

normal form
database design
probabilistic model
computational models
functional dependencies
database systems
design process
information content
relational algebra
database theory