Login / Signup
Normal forms in the typed Λ-calculus with tuple types.
Jirí Zlatuska
Published in:
Kybernetika (1985)
Keyphrases
</>
normal form
database design
relational databases
database theory
formal definitions
functional dependencies
relational algebra
prime implicates
nested relations
data dependencies
relational calculus
management system
information content
knowledge compilation
boolean expressions
lambda calculus