Semantics of a Relational λ-Calculus (Extended Version).
Pablo BarenbaumFederico LochbaumMariana MilicichPublished in: CoRR (2020)
Keyphrases
- relational calculus
- relational algebra
- expressive power
- query language
- complex objects
- relational model
- database query languages
- relational data model
- arithmetic constraints
- normal form
- aggregate functions
- data model
- first order logic
- type checking
- database
- relational database systems
- transitive closure
- database technology
- relational databases
- functional dependencies
- null values
- data mining
- databases