Well-definedness and semantic type-checking for the nested relational calculus.
Jan Van den BusscheDirk Van GuchtStijn VansummerenPublished in: Theor. Comput. Sci. (2007)
Keyphrases
- type checking
- relational calculus
- relational algebra
- expressive power
- query language
- complex objects
- relational model
- database query languages
- normal form
- relational data model
- semantic information
- data model
- transitive closure
- database
- relational database systems
- natural language
- data types
- database technology
- multi dimensional
- sql queries
- query processor
- relational databases
- database systems