Commutativity analysis in XML update languages

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

Volumn 4353 LNCS, Issue , 2006, Pages 374-388

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

^a UNIVERSITY OF PISA   (Italy)

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

Author keywords

[No Author keywords available]

Indexed keywords

COMMUTATIVITY; PATH ANALYSIS; UPPER BOUND; VIEW MAINTENANCE; XML UPDATE;

REGRESSION ANALYSIS;

XML;

EID: 84878676784     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11965893_26     Document Type: Conference Paper

References (19)

1. Chamberlin, D., Florescu, D., Robie, J.: XQuery update facility. W3C Working Draft (2006)
2. Lehti, P.: Design and implementation of a data manipulation processor for an XML query processor, Technical University of Darmstadt, Germany, Diplomarbeit (2001)
3. Tatarinov, I., Ives, Z., Halevy, A., Weld, D.: Updating XML. In: SIGMOD. (2001)
4. Benedikt, M., Bonifati, A., Flesca, S., Vyas, A.: Adding updates to XQuery: Semantics, optimization, and static analysis. In: XIME-P'05. (2005)
5. Ghelli, G., Ré, C., Siméon, J.: XQuery!: An XML query language with side effects. In: DataX Workshop. Lecture Notes in Computer Science, Munich, Germany (2006)
6. Boag, S., Chamberlin, D., Fernandez, M.F., Florescu, D., Robie, J., Siméon, J.: XQuery 1.0: An XML query language (2006)
7. Carey, M., Chamberlin, D., Florescu, D., Robie, J.: Programming with XQuery. Draft submitted for publication (2006)
8. Marian, A., Simeon, J.: Projecting XML documents. In: Proceedings of International Conference on Very Large Databases (VLDB), Berlin, Germany (2003) 213-224
9. Benedikt, M., Fan, W., Kuper, G.M.: Structural properties of xpath fragments. Theor. Comput. Sci. 336(1) (2005) 3-31
10. Miklau, G., Suciu, D.: Containment and equivalence for a fragment of xpath. J. ACM 51(1) (2004) 2-45
11. Elkan, C.: Independence of logic database queries and updates. In: PODS. (1990) 154-160
12. Levy, A.Y., Sagiv, Y.: Queries independent of updates. In: 19th International Conference on Very Large Data Bases, August 24-27, 1993, Dublin, Ireland, Proceedings, Morgan Kaufmann (1993) 171-181
13. Benedikt, M., Bonifati, A., Flesca, S., Vyas, A.: Verification of tree updates for optimization. In: CAV. (2005) 379-393
14. Dekeyser, S., Hidders, J., Paredaens, J.: A transaction model for xml databases. World Wide Web 7(1) (2004) 29-57
15. Lanin, V., Shasha, D.: A symmetric concurrent b-tree algorithm. In: FJCC. (1986) 380-389
16. Ghelli, G., Rose, K., Siméon, J.: Commutativity analysis in XML update languages (2006) http://www.di.unipi.it/~ghelli/papers/UpdateAnalysis. pdf.
17. Fernández, M., Malhotra, A., Marsh, J., Nagy, M., Walsh, N.: XQuery 1.0 and XPath 2.0 data model (2006)
18. Wadler, P.: Two semantics of xpath. Discussion note for W3C XSLT Working Group (1999) http://homepages.inf.ed.ac.uk/wadler/papers/xpath-semantics/xpath- semantics.pdf.
19. Cooper, E., Lindley, S., Wadler, P., Yallop, J.: Links: Web programming without tiers (2006) Unpublished Manuscript.