Fully Abstract Normal Form Bisimulation for Call-by-Value PCF.
Vasileios KoutavasYu-Yang LinNikos TzevelekosPublished in: CoRR (2023)
Keyphrases
- normal form
- database design
- relational algebra
- relational databases
- nested relations
- functional dependencies
- data dependencies
- information content
- data model
- prime implicates
- boolean expressions
- relational database theory
- distance function
- data types
- classification method
- complex objects
- database
- disjunctive normal form