Paper Info
Title
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.
Year
DOI
Venue
2007
10.1007/978-3-540-75987-4_6
DBPL
Keywords
Field
DocType
common core language,different semantics,proposed compilation,source language,list comprehension,database compilation,extensible tuples,better semantics,database algebra,formal semantics,side effect
Formal semantics (linguistics),Operational semantics,Programming language,Tuple,Computer science,Correctness,Database,Semantics,Query plan,Semantics of logic,XQuery
Conference
Volume
ISSN
ISBN
4797
0302-9743
3-540-75986-7
Citations 
PageRank 
References 
6
0.47
16
Authors
4
Name
Order
Citations
PageRank
Giorgio Ghelli11300255.19
Nicola Onose244424.68
Kristoffer Rose3463.18
Jérôme Siméon41515210.75