Computing Tiny Clause Normal Forms.

Noran Azmy Christoph Weidenbach

Published in: CADE (2013)

Keyphrases

normal form
database design
functional dependencies
nested relations
database theory
relational algebra
relational databases
data dependencies
multi valued
information content
formal definitions
databases
case study
data model
function symbols