The exp-log normal form of types: decomposing extensional equality and representing terms compactly.

Published in: POPL (2017)

Keyphrases

normal form
function symbols
database design
functional dependencies
relational databases
relational algebra
nested relations
information content
data dependencies