A Better Semantics for XQuery with Side-Effects

  • Giorgio Ghelli
  • Nicola Onose
  • Kristoffer Rose
  • Jérôme Siméon
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4797)

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Astrahan, M.M., Blasgen, M.W., Chamberlin, D.D., Eswaran, K.P., Gray, J., Griffiths, P.P., Frank King III, W., Lorie, R.A., McJones, P.R., Mehl, J.W., Putzolu, G.R., Traiger, I.L., Wade, B.W., Watson, V.: System R: Relational approach to database management. ACM Transactions on Database Systems 1(2), 97–137 (1976)CrossRefGoogle Scholar
  2. 2.
    Boag, S., Chamberlain, D., Fernández, M.F., Florescu, D., Robie, J., Siméon, J.: XQuery 1.0: An XML query language, W3C recommendation (2007)Google Scholar
  3. 3.
    Buneman, P., Libkin, L., Suciu, D., Tannen, V., Wong, L.: Comprehension syntax. SIGMOD Record 23(1), 87–96 (1994)CrossRefGoogle Scholar
  4. 4.
    Chamberlain, D., Carey, M., Florescu, D., Kossmann, D., Robie, J.: XQueryP: Programming with XQuery. In: XIME-P (2006)Google Scholar
  5. 5.
    Chamberlain, D., Florescu, D., Robie, J.: XQuery scripting extension 1.0 requirements, W3C working draft (March 23, 2007), http://www.w3.org/TR/2007/WD-xquery-sx-10-requirements-20070323/2007
  6. 6.
    Chamberlain, D., Florescu, D., Robie, J.: XQuery Update Facility, W3C working draft (July 11, 2006) (2007)Google Scholar
  7. 7.
    Draper, D., Fankhauser, P., Fernández, M.F., Malhotra, A., Rose, K., Rys, M., Siméon, J., Wadler, P.: XQuery 1.0 and XPath 2.0 formal semantics, W3C recommendation (January 24, 2007) (2007)Google Scholar
  8. 8.
    Fegaras, L.: Query unnesting in object-oriented databases. In: SIGMOD Conference, pp. 49–60 (1998)Google Scholar
  9. 9.
    Fegaras, L.: Optimizing queries with object updates. J. Intell. Inf. Syst. 12(2-3), 219–242 (1999)CrossRefGoogle Scholar
  10. 10.
    Fernández, M., Malhotra, A., Marsh, J., Nagy, M., Walsh, N.: XQuery1.0 and XPath 2.0 data model (xdm). W3C Recommendation (January 2007)Google Scholar
  11. 11.
    Fernández, M.F., Siméon, J., Wadler, P.: A semi-monad for semi-structured data. In: Van den Bussche, J., Vianu, V. (eds.) ICDT 2001. LNCS, vol. 1973, pp. 263–300. Springer, Heidelberg (2000)CrossRefGoogle Scholar
  12. 12.
    Florescu, D., Grünhagen, A., Kossmann, D.: XL: An XML programming language for Web service specification and composition. In: International conference on World Wide Web, pp. 65–76 (May 2002)Google Scholar
  13. 13.
    Ghelli, G., Re, C., Siméon, J.: XQuery!: An XML query language with side effects. In: Grust, T., Höpfner, H., Illarramendi, A., Jablonski, S., Mesiti, M., Müller, S., Patranjan, P.-L., Sattler, K.-U., Spiliopoulou, M., Wijsen, J. (eds.) EDBT 2006. LNCS, vol. 4254, pp. 178–191. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  14. 14.
    Gunter, C.A., Mitchell, J.C.: Theoretical Aspects of Object-Oriented Programming. MIT Press, Cambridge (1994)MATHGoogle Scholar
  15. 15.
    Harren, M., Raghavachari, M., Shmueli, O., Burke, M.G., Bordawekar, R., Pechtchanski, I., Sarkar, V.: Xj: facilitating xml processing in java. In: International conference on World Wide Web, pp. 278–287 (2005)Google Scholar
  16. 16.
    Hidders, J., Paredaens, J., Vercammen, R.: On the expressive power of xquery-based update languages. In: Amer-Yahia, S., Bellahsène, Z., Hunt, E., Unland, R., Yu, J.X. (eds.) XSym 2006. LNCS, vol. 4156, pp. 92–106. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  17. 17.
  18. 18.
    May, N., Helmer, S., Moerkotte, G.: Nested queries and quantifiers in an ordered context. In: ICDE, pp. 239–250 (2004)Google Scholar
  19. 19.
    Moerkotte, G.: Building query compilers, draft manuscript (December 2005), http://db.informatik.uni-mannheim.de/moer
  20. 20.
    Ramakrishnan, R., Gehrke, J.: Database Management Systems. McGraw-Hill, New York (2000)Google Scholar
  21. 21.
    Re, C., Siméon, J., Fernández, M.F.: A complete and efficient algebraic compiler for XQuery. In: ICDE, p. 14 (2006)Google Scholar
  22. 22.
    Tannen, V.: Tutorial: Languages for collection types. In: PODS, pp. 150–154 (1994)Google Scholar
  23. 23.
    Tannen, V., Buneman, P., Wong, L.: Naturally embedded query languages. In: Hull, R., Biskup, J. (eds.) ICDT 1992. LNCS, vol. 646, pp. 140–154. Springer, Heidelberg (1992)Google Scholar
  24. 24.
    Trinder, P., Wadler, P.: Improving list comprehension database queries. In: Fourth IEEE Region 10 Conference (TENCON), pp. 186–192. IEEE Computer Society Press, Los Alamitos (1989)CrossRefGoogle Scholar
  25. 25.
    Wong, L.: Kleisli, a functional query system. Journal of Functional Programming 10(1), 19–56 (2000)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2007

Authors and Affiliations

  • Giorgio Ghelli
    • 1
  • Nicola Onose
    • 2
  • Kristoffer Rose
    • 3
  • Jérôme Siméon
    • 3
  1. 1.Università di Pisa 
  2. 2.University of California, San Diego 
  3. 3.IBM T. J. Watson Research Center 

Personalised recommendations