Proving Soundness of Extensional Normal-Form Bisimilarities.

Dariusz Biernacki Sergueï Lenglet Piotr Polesiuk

Published in: CoRR (2017)

Keyphrases

normal form
database design
relational databases
functional dependencies
relational algebra
nested relations
data dependencies
information content
prime implicates
boolean expressions
xml documents
relational model