A Complete Normal-Form Bisimilarity for State.

Dariusz Biernacki Sergueï Lenglet Piotr Polesiuk

Published in: FoSSaCS (2019)

Keyphrases

normal form
relational databases
database design
functional dependencies
relational algebra
nested relations
set of functional dependencies
data structure
prime implicates
database
management system
information content
null values
boolean expressions