Fully Abstract Normal Form Bisimulation for Call-by-Value PCF.
Vasileios KoutavasYu-Yang LinNikos TzevelekosPublished 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