Well-Definedness and Semantic Type-Checking in the Nested Relational Calculus and XQuery Extended Abstract.
Jan Van den BusscheDirk Van GuchtStijn VansummerenPublished in: ICDT (2005)
Keyphrases
- extended abstract
- relational calculus
- type checking
- query language
- relational algebra
- expressive power
- data model
- database query languages
- complex objects
- relational data model
- normal form
- relational model
- query evaluation
- database
- xml data
- transitive closure
- user defined
- high level
- aggregate functions
- object oriented
- relational databases
- relational database systems
- query processing
- query processor
- xml schema
- data structure
- similarity search