A Complete Normal-Form Bisimilarity for Algebraic Effects and Handlers.

Dariusz Biernacki Sergueï Lenglet Piotr Polesiuk

Published in: FSCD (2020)

Keyphrases

normal form
database design
functional dependencies
relational databases
relational algebra
nested relations
data dependencies
information content
prime implicates
boolean expressions
database systems
relational database theory
database applications