XQuery!: An XML query language with side effects

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

Volumn 4254 LNCS, Issue , 2006, Pages 178-191

  Ghelli, Giorgio ^a   Ré, Christopher ^b   Siméon, Jérôme ^c  

^a UNIVERSITY OF PISA   (Italy)

^b UNIVERSITY OF WASHINGTON   (United States)

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

Author keywords

[No Author keywords available]

Indexed keywords

CONTROL SYSTEMS; DATABASE SYSTEMS; OPTIMIZATION; QUERY LANGUAGES; SEMANTICS; USER INTERFACES;

DECLARATIVE SEMANTICS; USER CONTROL; XML QUERY LANGUAGES; XQUERY SEMANTICS;

XML;

EID: 33845248008     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11896548_17     Document Type: Conference Paper

References (23)

1. Michael Benedikt, Angela Bonifati, Sergio Flesca, and Avinash Vyas. Adding updates to XQuery: Semantics, optimization, and static analysis. In XIME-P'05, 2005.
2. Scott Boag, Don Chamberlin, Mary F. Fernandez, Daniela Florescu, Jonathan Robie, and Jérôme Simeon. XQuery 1.0: An XML query language. W3C Candidate Recommendation, November 2005.
3. Don Chamberlin. Communication regarding an update proposal. W3C XML Query Update Task Force, May 2005.
4. Don Chamberlin, Daniela Florescu, and Jonathan Robie. XQuery update facility. W3C Working Draft, January 2006.
5. Don Chamberlin and Jonathan Robie. XQuery update facility requirements. W3C Working Draft, June 2005.
6. XQuery 1.0 and XPath 2.0 data model (XDM). W3C Candidate Recommendation, November 2005.
7. Denise Draper, Peter Fankhauser, Mary Fernández, Ashok Malhotra, Kristoffer Rose, Michael Rys, Jerôme Siméon, and Philip Wadler. XQuery 1.0 and XPath 2.0 formal semantics. W3C Candidate Recommendation, November 2005.
8. Daniela Florescu et al. Communication regarding an XQuery update facility. W3C XML Query Working Group, July 2005.
9. Don Chamberlin et al. Communication regarding updates for XQuery. W3C XML Query Working Group, October 2002.
10. Mary Fernández, Jerôme Siméon, and Philip Wadler. XQuery from the experts, chapter Introduction to the Formal Semantics. Addison Wesley, 2004.
11. Daniela Florescu. Communication regarding update grammar. W3C XML Query Update Task Force, April 2005.
12. Daniela Florescu, Andreas Grünhagen, and Donald Kossmann. XL: An XML programming language for Web service specification and composition. In Proceedings of International World Wide Web Conference, pages 65-76, May 2002.
13. Giorgio Ghelli, Christopher Ré, and Jérôme Siméon. XQuery!: An XML query language with side effects, full paper, 2005. http://xquerybang.cs.washington.edu/papers/XQueryBangTR.pdf.
14. Jan Hidders, Jan Paredaens, Roel Vercammen, and Serge Demeyer. A light but formal introduction to XQuery. In Database and XML Technologies (XSym), pages 5-20, May 2004.
15. Simon Peyton Jones. Tackling the awkward squad: monadic input/output, concurrency, exceptions, and foreign-language calls in Haskell. In "Engineering theories of software construction", ed Tony Hoare, Manfred Broy, Ralf Steinbruggen, IOS Press, 2001.
16. Patrick Lehti. Design and implementation of a data manipulation processor for an XML query processor, Technical University of Darmstadt, Germany, Diplomarbeit, 2001.
17. Xavier Leroy. The Objective Caml system, release 3.08, Documentation and user's manual. Institut National de Recherche en Informatique et en Automatique, july 2004.
18. Robin Milner, Mads Tofte, Robert Harper, and David MacQueen. The definition of Standard ML (revised). MIT Press, 1997.
19. Christopher Ré, Jerome Simeon, and Mary Fernandez. A complete and efficient algebraic compiler for XQuery. Technical report, AT&T Labs Research, 2005.
20. Christopher Ré, Jerome Simeon, and Mary Fernandez. A complete and efficient algebraic compiler for XQuery. In ICDE, Atlanta,GA, April 2006.
21. Michael Rys. Proposal for an XML data modification language, version 3, May 2002. Microsoft Corp., Redmond, WA.
22. A. Schmidt, F. Waas, M. Kersten, M. Carey, Ioana Manolescu, and Ralph Busse. XMark: A benchmark for XML data management. In VLDB, pages 974-985, August 2002.
23. Gargi M. Sur, Joachim Hammer, and Jérôme Siméon. An XQuery-based language for processing updates in XML. In PLAN-X, 2004.