Lambda-Definition of Function(al)s by Normal Forms.

Corrado Böhm Adolfo Piperno Stefano Guerrini

Published in: ESOP (1994)

Keyphrases

normal form
database design
functional dependencies
database theory
relational databases
nested relations
relational algebra
formal definitions
database
information content
data dependencies
multi valued
fixed point
database systems
database management systems
database schema