Advertisement

XQuery!: An XML Query Language with Side Effects

  • Giorgio Ghelli
  • Christopher Ré
  • Jérôme Siméon
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4254)

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.

Keywords

Query Plan Semantic Judgment Insert Operation Lazy Evaluation Nest Transaction 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Benedikt, M., Bonifati, A., Flesca, S., Vyas, A.: Adding updates to XQuery: Semantics, optimization, and static analysis. In: XIME-P 2005 (2005)Google Scholar
  2. 2.
    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)Google Scholar
  3. 3.
    Chamberlin, D.: Communication regarding an update proposal. W3C XML Query Update Task Force (May 2005)Google Scholar
  4. 4.
    Chamberlin, D., Florescu, D., Robie, J.: XQuery update facility. W3C Working Draft (January 2006)Google Scholar
  5. 5.
    Chamberlin, D., Robie, J.: XQuery update facility requirements. W3C Working Draft (June 2005)Google Scholar
  6. 6.
    XQuery 1.0 and XPath 2.0 data model (XDM). W3C Candidate Recommendation (November 2005)Google Scholar
  7. 7.
    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)Google Scholar
  8. 8.
    Florescu, D., et al.: Communication regarding an XQuery update facility. W3C XML Query Working Group (July 2005)Google Scholar
  9. 9.
    Chamberlin, D., et al.: Communication regarding updates for XQuery. W3C XML Query Working Group (October 2002)Google Scholar
  10. 10.
    Fernández, M., Siméon, J., Wadler, P.: XQuery from the experts, chapter Introduction to the Formal Semantics. Addison Wesley, Reading (2004)Google Scholar
  11. 11.
    Florescu, D.: Communication regarding update grammar. W3C XML Query Update Task Force (April 2005)Google Scholar
  12. 12.
    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)Google Scholar
  13. 13.
    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
  14. 14.
    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)Google Scholar
  15. 15.
    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)Google Scholar
  16. 16.
    Lehti, P.: Design and implementation of a data manipulation processor for an XML query processor, Technical University of Darmstadt, Germany, Diplomarbeit (2001)Google Scholar
  17. 17.
    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)Google Scholar
  18. 18.
    Milner, R., Tofte, M., Harper, R., MacQueen, D.: The definition of Standard ML (revised). MIT Press, Cambridge (1997)Google Scholar
  19. 19.
    Ré, C., Simeon, J., Fernandez, M.: A complete and efficient algebraic compiler for XQuery. Technical report, AT&T Labs Research (2005)Google Scholar
  20. 20.
    Ré, C., Simeon, J., Fernandez, M.: A complete and efficient algebraic compiler for XQuery. In: ICDE, Atlanta,GA (April 2006)Google Scholar
  21. 21.
    Rys, M.: Proposal for an XML data modification language, version 3, Microsoft Corp., Redmond, WA (May 2002)Google Scholar
  22. 22.
    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)Google Scholar
  23. 23.
    Sur, G.M., Hammer, J., Siméon, J.: An XQuery-based language for processing updates in XML. In: PLAN-X (2004)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Giorgio Ghelli
    • 1
  • Christopher Ré
    • 2
  • Jérôme Siméon
    • 3
  1. 1.Università di Pisa 
  2. 2.University of Washington 
  3. 3.IBM T.J. Watson Research Center 

Personalised recommendations