Abstract
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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Benedikt, M., Bonifati, A., Flesca, S., Vyas, A.: Adding updates to XQuery: Semantics, optimization, and static analysis. In: XIME-P 2005 (2005)
Boag, S., Chamberlin, D., Fernandez, M.F., Florescu, D., Robie, J., Simeon, J.: XQuery 1.0: An XML query language. W3C Candidate Recommendation (November 2005)
Chamberlin, D.: Communication regarding an update proposal. W3C XML Query Update Task Force (May 2005)
Chamberlin, D., Florescu, D., Robie, J.: XQuery update facility. W3C Working Draft (January 2006)
Chamberlin, D., Robie, J.: XQuery update facility requirements. W3C Working Draft (June 2005)
XQuery 1.0 and XPath 2.0 data model (XDM). W3C Candidate Recommendation (November 2005)
Draper, D., Fankhauser, P., Fernández, M., Malhotra, A., Rose, K., Rys, M., Siméon, J., Wadler, P.: XQuery 1.0 and XPath 2.0 formal semantics. W3C Candidate Recommendation (November 2005)
Florescu, D., et al.: Communication regarding an XQuery update facility. W3C XML Query Working Group (July 2005)
Chamberlin, D., et al.: Communication regarding updates for XQuery. W3C XML Query Working Group (October 2002)
Fernández, M., Siméon, J., Wadler, P.: XQuery from the experts, chapter Introduction to the Formal Semantics. Addison Wesley, Reading (2004)
Florescu, D.: Communication regarding update grammar. W3C XML Query Update Task Force (April 2005)
Florescu, D., Grünhagen, A., Kossmann, D.: XL: An XML programming language for Web service specification and composition. In: Proceedings of International World Wide Web Conference, May 2002, pp. 65–76 (2002)
Ghelli, G., Ré, C., Siméon, J.: XQuery!: An XML query language with side effects, full paper (2005), http://xquerybang.cs.washington.edu/papers/XQueryBangTR.pdf
Hidders, J., Paredaens, J., Vercammen, R., Demeyer, S.: A light but formal introduction to XQuery. In: Database and XML Technologies (XSym), May 2004, pp. 5–20 (2004)
Peyton Jones, S.: Tackling the awkward squad: monadic input/output, concurrency, exceptions, and foreign-language calls in Haskell. In: Hoare, T., Broy, M., Steinbruggen, R. (eds.) Engineering theories of software construction, IOS Press, Amsterdam (2001)
Lehti, P.: Design and implementation of a data manipulation processor for an XML query processor, Technical University of Darmstadt, Germany, Diplomarbeit (2001)
Leroy, X.: The Objective Caml system, release 3.08, Documentation and user’s manual. Institut National de Recherche en Informatique et en Automatique (July 2004)
Milner, R., Tofte, M., Harper, R., MacQueen, D.: The definition of Standard ML (revised). MIT Press, Cambridge (1997)
Ré, C., Simeon, J., Fernandez, M.: A complete and efficient algebraic compiler for XQuery. Technical report, AT&T Labs Research (2005)
Ré, C., Simeon, J., Fernandez, M.: A complete and efficient algebraic compiler for XQuery. In: ICDE, Atlanta,GA (April 2006)
Rys, M.: Proposal for an XML data modification language, version 3, Microsoft Corp., Redmond, WA (May 2002)
Schmidt, A., Waas, F., Kersten, M., Carey, M., Manolescu, I., Busse, R.: XMark: A benchmark for XML data management. In: VLDB, August 2002, pp. 974–985 (2002)
Sur, G.M., Hammer, J., Siméon, J.: An XQuery-based language for processing updates in XML. In: PLAN-X (2004)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ghelli, G., Ré, C., Siméon, J. (2006). XQuery!: An XML Query Language with Side Effects. In: Grust, T., et al. Current Trends in Database Technology – EDBT 2006. EDBT 2006. Lecture Notes in Computer Science, vol 4254. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11896548_17
Download citation
DOI: https://doi.org/10.1007/11896548_17
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-46788-5
Online ISBN: 978-3-540-46790-8
eBook Packages: Computer ScienceComputer Science (R0)