Polymorphic type inference for the relational algebra in the functional database programming language neon.
Lajos NagyRyan StansiferPublished in: ACM Southeast Regional Conference (2006)
Keyphrases
- database programming language
- type checking
- relational calculus
- relational algebra
- database query languages
- query language
- expressive power
- complex objects
- relational model
- data model
- normal form
- data types
- relational database systems
- relational data model
- abstract data types
- query processor
- transitive closure
- first order logic
- database technology
- database
- query evaluation
- relational databases