On the Definition of the Eta-long Normal Form in Type Systems of the Cube.

Gilles Dowek Gérard Huet Benjamin Werner

Published in: CoRR (2023)

Keyphrases

normal form
relational databases
database design
nested relations
management system
distributed systems
functional dependencies
relational algebra
expert systems
data model
first order logic
incomplete information
information content