XL: an XML programming language for web service specification and composition
Proceedings of the 11th international conference on World Wide Web
The Definition of Standard ML
XMark: a benchmark for XML data management
VLDB '02 Proceedings of the 28th international conference on Very Large Data Bases
Querying xml with update syntax
Proceedings of the 2007 ACM SIGMOD international conference on Management of data
XML query optimization in the presence of side effects
Proceedings of the 2008 ACM SIGMOD international conference on Management of data
FLUX: functional updates for XML
Proceedings of the 13th ACM SIGPLAN international conference on Functional programming
Commutativity analysis for XML updates
ACM Transactions on Database Systems (TODS)
Query and update through XML views
DNIS'07 Proceedings of the 5th international conference on Databases in networked information systems
A better semantics for XQuery with side-effects
DBPL'07 Proceedings of the 11th international conference on Database programming languages
Regular expression subtyping for XML query and update languages
ESOP'08/ETAPS'08 Proceedings of the Theory and practice of software, 17th European conference on Programming languages and systems
Updating XML views and querying XML views with update syntax
International Journal of Computational Science and Engineering
A schema-based translation of XQuery updates
XSym'10 Proceedings of the 7th international XML database conference on Database and XML technologies
On the expressive power of XQuery-based update languages
XSym'06 Proceedings of the 4th international conference on Database and XML Technologies
| Hi-index | 0.00 |
As XML applications become more complex, there is a growing interest in extending XQuery with side-effect operations, notably XML updates. However, the presence of side-effects is at odds with XQuery's declarative semantics in which evaluation order is unspecified. In this paper, we define “XQuery!”, an extension of XQuery 1.0 that supports first-class XML updates and user-level control over update application, preserving the benefits of XQuery's declarative semantics when possible. Our extensions can be easily implemented within an existing XQuery processor and we show how to recover basic database optimizations for such a language.