Normal Form Bisimulations By Value.

Beniamino Accattoli Claudia Faggian Adrienne Lancelot

Published in: CoRR (2023)

Keyphrases

normal form
database design
functional dependencies
relational databases
relational algebra
nested relations
information content
data dependencies
data model
prime implicates
database systems
relational calculus
null values