Type Inference in the Polymorphic Relational Algebra.
Jan Van den BusscheEmmanuel WallerPublished in: PODS (1999)
Keyphrases
- relational algebra
- type checking
- relational calculus
- database query languages
- expressive power
- query language
- relational model
- data model
- normal form
- complex objects
- relational database systems
- transitive closure
- first order logic
- recursive queries
- relational data model
- data types
- null values
- algebraic operations
- relational operators
- high dimensional