A Better Semantics for XQuery with Side-Effects

Abstract. 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.

• Type: Conference
• Year: 2007
• Where: DBPL
• Authors: Giorgio Ghelli, Nicola Onose, Kristoffer Høgsbro Rose, Jérôme Siméon
• Keywords: Common Core Language, Database, Database Compilation, DBPL 2007, Formal Semantics