Polymorphic type inference for the relational algebra
Jan Van den BusscheEmmanuel WallerPublished in: CoRR (2001)
Keyphrases
- relational algebra
- type checking
- relational calculus
- database query languages
- expressive power
- relational model
- query language
- normal form
- data model
- relational database systems
- complex objects
- first order logic
- relational data model
- data types
- relational databases
- transitive closure
- database
- aggregate functions
- algebraic operations
- join operator
- recursive queries
- functional dependencies
- autonomous agents
- multi agent
- data mining
- databases