Login / Signup
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