Effectful Normal Form Bisimulation.

Ugo Dal Lago Francesco Gavazzo

Published in: ESOP (2019)

Keyphrases

normal form
database design
functional dependencies
relational databases
nested relations
information content
relational algebra
data dependencies
databases
prime implicates
boolean expressions
case study
relational calculus