Proving Soundness of Extensional Normal-Form Bisimilarities.

Dariusz Biernacki Sergueï Lenglet Piotr Polesiuk

Published in: MFPS (2018)

Keyphrases

normal form
database design
relational algebra
relational databases
nested relations
functional dependencies
information content
data dependencies
database
prime implicates
partial order
relational database theory
relational calculus
conceptual schema
user defined
first order logic
database systems
decision trees