Fully Abstract Normal Form Bisimulation for Call-by-Value PCF.

Vasileios Koutavas Yu-Yang Lin Nikos Tzevelekos

Published in: LICS (2023)

Keyphrases

normal form
relational databases
nested relations
database design
functional dependencies

relational algebra
information content
classification method
data dependencies

relational database theory
prime implicates
boolean expressions
xml data

integrity constraints
incomplete information
databases
knowledge compilation