Polymorphic Type Inference for the Relational Algebra.
Jan Van den BusscheEmmanuel WallerPublished in: J. Comput. Syst. Sci. (2002)
Keyphrases
- relational algebra
- type checking
- database query languages
- relational calculus
- relational model
- query language
- normal form
- expressive power
- data model
- relational database systems
- first order logic
- complex objects
- relational data model
- relational operators
- relational databases
- aggregate functions
- algebraic operations
- null values
- summary tables
- database technology
- transitive closure
- data integration
- expert systems
- databases
- database