A Better Semantics for XQuery with Side-Effects
A Better Semantics for XQuery with Side-Effects
复制标题
具有副作用的更好的 XQuery 语义
DOI：
10.1007/978-3-540-75987-4_6
复制
发表时间：
2007
影响因子：
2.1
通讯作者：
Jérôme Siméon
中科院分区：
文献类型：
--
作者：
G. Ghelli;Nicola Onose;K. Rose;Jérôme Siméon
带有副作用的XQuery的形式语义已经在[13,16]中提出。我们提出了一种不同的语义，它更适合于数据库编译。我们通过将扩展了更新的XQuery的编译形式化为一个数据库代数来证实这一说法。我们通过将源语言和代数映射到具有列表推导式和可扩展元组的公共核心语言来证明所提出的编译的正确性。
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.
DOI：
10.1007/11896548
发表时间：
2006
期刊：
--
影响因子：
--
作者：
Torsten Grust;Hagen Höpfner;A. Illarramendi;S. Jablonski;M. Mesiti;S. Müller;Paula-Lavinia Patrânjan;K. Sattler;M. Spiliopoulou;Jef Wijsen
通讯作者：
Torsten Grust;Hagen Höpfner;A. Illarramendi;S. Jablonski;M. Mesiti;S. Müller;Paula-Lavinia Patrânjan;K. Sattler;M. Spiliopoulou;Jef Wijsen