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