Proving Soundness of Extensional Normal-Form Bisimilarities.

Dariusz Biernacki Sergueï Lenglet Piotr Polesiuk

Published in: Log. Methods Comput. Sci. (2019)

Keyphrases

normal form
database design
relational databases
relational algebra
functional dependencies
nested relations
information content
data dependencies
database systems
boolean expressions
data model
partial order
conceptual schema
null values