A Better Semantics for XQuery with Side-Effects

Formal semantics for XQuery with side-effects have been proposed in [13,16]. We propose a different semantics which is better suited for database compilation. We substantiate this claim by formalizing the compilation of XQuery extended with updates into a database algebra. We prove the correctness of the proposed compilation by mapping both the source language and the algebra to a common core language with list comprehensions and extensible tuples.

[1]  Dan Suciu,et al.  Comprehension syntax , 1994, SGMD.

[2]  Christopher Ré,et al.  A Complete and Efficient Algebraic Compiler for XQuery , 2006, 22nd International Conference on Data Engineering (ICDE'06).

[3]  Leonidas Fegaras,et al.  Optimizing Queries with Object Updates , 1999, Journal of Intelligent Information Systems.

[4]  Limsoon Wong,et al.  Naturally Embedded Query Languages , 1992, ICDT.

[5]  Vivek Sarkar,et al.  XJ: facilitating XML processing in Java , 2005, WWW '05.

[6]  Giorgio Ghelli,et al.  XQuery Scripting Extension 1.0 Requirements , 2007 .

[7]  Jef Wijsen,et al.  Current Trends in Database Technology - EDBT 2006, EDBT 2006 Workshops PhD, DataX, IIDB, IIHA, ICSNW, QLQP, PIM, PaRMA, and Reactivity on the Web, Munich, Germany, March 26-31, 2006, Revised Selected Papers , 2006, EDBT Workshops.

[8]  Daniela Florescu,et al.  XL: an XML programming language for web service specification and composition , 2002, Comput. Networks.

[9]  Irving L. Traiger,et al.  System R: relational approach to database management , 1976, TODS.

[10]  Philip Wadler,et al.  A Semi-monad for Semi-structured Data , 2001, ICDT.

[11]  Dan Suciu,et al.  Database and XML Technologies , 2004, Lecture Notes in Computer Science.

[12]  Jan Hidders,et al.  On the Expressive Power of XQuery-Based Update Languages , 2006, XSym.

[13]  Limsoon Wong,et al.  Kleisli, a functional query system , 2000, J. Funct. Program..

[14]  Christopher Ré,et al.  XQuery!: An XML Query Language with Side Effects , 2006, EDBT Workshops.

[15]  Philip Wadler,et al.  Improving list comprehension database queries , 1989, Fourth IEEE Region 10 International Conference TENCON.

[16]  John C. Mitchell,et al.  Theoretical aspects of object-oriented programming: types, semantics, and language design , 1994, Choice Reviews Online.

[17]  Leonidas Fegaras,et al.  Query unnesting in object-oriented databases , 1998, SIGMOD '98.

[18]  Sanjeev Khanna,et al.  Why and Where: A Characterization of Data Provenance , 2001, ICDT.

[19]  Norman May,et al.  Nested queries and quantifiers in an ordered context , 2004, Proceedings. 20th International Conference on Data Engineering.

[20]  Val Tannen.  Tutorial: languages for collection types , 1994, PODS '94.

[21]  Scott Boag,et al.  XQuery 1.0 : An XML Query Language , 2007 .

[22]  Raghu Ramakrishnan,et al.  Database Management Systems , 1976 .

[23]  Peter Buneman,et al.  Theoretical Aspects of Object-Oriented Programming , 1994 .

[24]  Joachim Biskup,et al.  Database Theory — ICDT '92 , 1992, Lecture Notes in Computer Science.