A better semantics for XQuery with side-effects

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4797 LNCS, Issue , 2007, Pages 81-96

  Ghelli, Giorgio ^a   Onose, Nicola ^b   Rose, Kristoffer ^c   Siméon, Jérôme ^c  

^a UNIVERSITY OF PISA   (Italy)

^b UNIVERSITY OF CALIFORNIA   (United States)

^c IBM T J WATSON RESEARCH CENTER   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SCIENCE; INFORMATION TECHNOLOGY; PROBLEM SOLVING; QUERY LANGUAGES; SEMANTICS;

CORE LANGUAGES; DATABASE ALGEBRA; DATABASE COMPILATION; XQUERY;

XML;

EID: 38449095049     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-75987-4_6     Document Type: Conference Paper

References (25)

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)
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)
3. Buneman, P., Libkin, L., Suciu, D., Tannen, V., Wong, L.: Comprehension syntax. SIGMOD Record 23(1), 87-96 (1994)
4. Chamberlain, D., Carey, M., Florescu, D., Kossmann, D., Robie, J.: XQueryP: Programming with XQuery. In: XIME-P (2006)
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. Chamberlain, D., Florescu, D., Robie, J.: XQuery Update Facility, W3C working draft (July 11, 2006) (2007)
7. Draper, D., Fankhauser, P., Fernández, M.F., Malhotra, A., Rose, K., Rys, M., Simeon, J., Wadler, P.: XQuery 1.0 and XPath 2.0 formal semantics, W3C recommendation (January 24, 2007) (2007)
8. Fegaras, L.: Query unnesting in object-oriented databases. In: SIGMOD Conference, pp. 49-60 (1998)
9. Fegaras, L.: Optimizing queries with object updates. J. Intell. Inf. Syst. 12(2-3), 219-242 (1999)
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)
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)
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)
13. Ghelli, G., Re, C., Simeon, 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)
14. Gunter, C.A., Mitchell, J.C.: Theoretical Aspects of Object-Oriented Programming. MIT Press, Cambridge (1994)
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)
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)
17. The linq project. msdn.microsoft.com/XML/linqproject
18. May, N., Helmer, S., Moerkotte, G.: Nested queries and quantifiers in an ordered context. In: ICDE, pp. 239-250 (2004)
19. Moerkotte, G.: Building query compilers, draft manuscript (December 2005), http://db.informatik.uni-mannheim.de/moer
20. Ramakrishnan, R., Gehrke, J.: Database Management Systems. McGraw-Hill, New York (2000)
21. Re, C., Simeon, J., Fernández, M.F.: A complete and efficient algebraic compiler for XQuery. In: ICDE, p. 14 (2006)
22. Tannen, V.: Tutorial: Languages for collection types. In: PODS, pp. 150-154 (1994)
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)
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)
25. Wong, L.: Kleisli, a functional query system. Journal of Functional Programming 10(1), 19-56 (2000)