Polymorphic type inference for the named nested relational calculus.
Jan Van den BusscheStijn VansummerenPublished in: ACM Trans. Comput. Log. (2007)
Keyphrases
- type checking
- relational calculus
- relational algebra
- expressive power
- database query languages
- query language
- complex objects
- arithmetic constraints
- relational model
- normal form
- relational data model
- relational database systems
- first order logic
- data model
- incomplete information
- range queries
- distributed systems
- similarity measure
- artificial intelligence
- machine learning