Well-Definedness and Semantic Type-Checking in the Nested Relational Calculus and XQuery
Jan Van den BusscheDirk Van GuchtStijn VansummerenPublished in: CoRR (2004)
Keyphrases
- relational calculus
- type checking
- query language
- relational algebra
- expressive power
- database query languages
- complex objects
- relational model
- data model
- normal form
- xml data
- relational data model
- relational database systems
- aggregate functions
- object oriented
- transitive closure
- query evaluation
- first order logic
- natural language
- high level
- integrity constraints
- user defined
- path expressions
- domain ontology
- multi dimensional
- xml documents