Commutativity analysis for XML updates

ACM Transactions on Database Systems

Volumn 33, Issue 4, 2008, Pages

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

^a UNIVERSITY OF PISA   (Italy)

^b IBM RESEARCH   (United States)

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

Author keywords

Commutativity; Optimization; Updates; XML; XQuery

Indexed keywords

ANALYSIS PROBLEMS; COMMUTATIVITY; PATH ANALYSES; QUERY OPTIMIZATIONS; UPDATES; UPPER BOUNDS; VIEW MAINTENANCES; XML UPDATES; XQUERY;

COMPUTER PROGRAMMING LANGUAGES; LINGUISTICS; MARKUP LANGUAGES; OPTIMIZATION; QUERY LANGUAGES; REGRESSION ANALYSIS;

XML;

EID: 57849105131     PISSN: 03625915     EISSN: 15574644     Source Type: Journal    
DOI: 10.1145/1412331.1412341     Document Type: Article

References (26)

1. BENEDIKT, M., BONIFATI, A., FLESCA, S., AND VYAS, A. 2005a. Adding updates to XQuery: Semantics, optimization, and static analysis. In Proceedings of the International Workshop on XQuery Implementation, Experience and Perspectives (XIME-P '05).
2. BENEDIKT, M., BONIFATI, A., FLESCA, S., AND VYAS, A. 2005b. Verification of tree updates for optimization. In Proceedings of Computer-Aided Verification (CAV'05). Lecture Notes in Computer Science, Vol. 4590, Springer, 379-393.
3. BENEDIKT, M., FAN, W., AND KUPER, G. M. 2005. Structural properties of XPath fragments. Theor. Comput. Sci. 336, 1, 3-31.
4. BIRON, P. V. AND MALHOTRA, A. 2001. XML schema part 2: Datatypes. W3C recommendation. http://www.w3.org/TR/2001/REC-xmlschema- 2-20010502.
5. BOAG, S., CHAMBERLIN, D., FERNÁNDEZ, M. F., FLORESCU, D., ROBIE, J., AND SIMÉON, J. 2007. XQuery 1.0: An XML query language. W3C recommendation. http://www.w3.org/TR/2007/REC-xquery-20070123/.
6. BRAY, T., HOLLANDER, D., AND LAYMAN, A. 1999. Namespaces inXML. W3C recommendation, World Wide Web Consortium. http://www.w3.org/TR/REC-xml-names.
7. CHAMBERLIN, D., CAREY, M., FLORESCU, D., KOSSMAN, D., AND ROBIE, J. 2006. XQuery P: Programming with XQuery. In Proceedings of the 3rd International Workshop on XQuery Implementation, Experience, and Perspectives (XIME-P' 06).
8. CHAMBERLIN, D., FLORESCU, D., MELTON, J., ROBIE, J., AND SIMEON, J. 2007. XQuery update facility. W3C working draft. http://www.w3.org/TR/2007/WD-xquery-update-10- 20070828/.
9. COOPER, E., LINDLEY, S., WADLER, P., AND YALLOP, J. 2006. Links: Web programming without tears. In Proceedings of the 5th International Symposium on Formal Methods for Components and Objects (FMCO).
10. DEKEYSER, S., HIDDERS, J., AND PAREDAENS, J. 2003. Instance independent concurrency control for semistructured databases. In Proceedings of the 11th Italian Symposium on Advanced. Database Systems (SEBD'03). 323-334.
11. DEKEYSER, S., HIDDERS, J., AND PAREDAENS, J. 2004. A transaction model for xml databases. World Wide Web 7, 1, 29-57.
12. DRAPER, D., FANKHAUSER, P., FERNÁNDEZ, M., MALHOTRA, A., ROSE, K., RYS, M., SIMÉON, J., AND WADLER, P. 2006. XQuery 1.0 and XPath 2.0 formal semantics, W3C recommendation. http://www.w3.org/TR/REC- xquery-semantics-20070123/.
13. ELKAN, C. 1990. Independence of logic database queries and updates. In Proceedings of the ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Databases. ACM, New York, 154-160.
14. FERNÁNDEZ, M., MALHOTRA, A., MARSH, J., NAGY, M., AND WALSH, N. 2007. XQuery 1.0 and XPath 2.0 data model. W3C recommendation. http://www.w3.org/TR/2007/REC-xpath- datamodel-20070123/.
15. GHELLI, G., RÉ, C., AND SIMÉON, J. 2006. XQuery! An XML query language with side effects. In Proceedings of the DataX Workshop.
16. GHELLI, G., ROSE, K., AND SIMÉ ON, J. 2007. Commutativity analysis in XML update languages. In Proceedings of the International Conference on Database Theory (ICDT).
17. HAMMERSCHMIDT, B. C., KEMPA, M., AND LINNEMANN, V. 2005. On the Intersection of XPath Expressions. In Proceedings of the 9th International Database Engineering and Application Symposium (IDEAS '05), 49-57.
18. HIDDERS, J., PAREDAENS, J., AND VERCAMMEN, R. 2006. On the expressive power of Xquery-based update languages. In Databases and XML Technologies, Proceedings of the 4th International XML Database Symposium. Springer, Berlin.
19. LANIN, V. AND SHASHA, D. 1986. A symmetric concurrent b-tree algorithm. In Proceedings of the ACM Fall Joint Computer Conference. ACM, New York, 380-389.
20. LEHTI, P. 2001. Design and implementation of a data manipulation processor for an XML query processor. Diplomarbeit, Technical University of Darmstadt, Darmstadt, Germany.
21. LEVY, A. Y. AND SAGIV, Y. 1993. Queries independent of updates. In Proceedings of the 19th International Conference on Very Large Data Bases (VLDB '93). Morgan Kaufmann, 171-181.
22. MABIAN, A. AND SIMÉON, J. 2003. Projecting XML documents. In Proceedings of the International Conference on Very Large Data Bases (VLDB '03), 213-224.
23. MIKLAU, G. AND SUCIU, D. 2004. Containment and equivalence for a fragment of XPath. J. ACM 51, 1, 2-45.
24. TATARINOV, I., IVES, Z., HALEVY, A., AND WELD, D. 2001. Updating XML. In Proceedings of the ACM International Conference on Management of Data (SIGMOD '01). ACM, New York.
25. TOFTE, M. AND TALPIN, J.-P. 1997. Region-based memory management. Inform. Comput. 132, 2, 109-176.
26. WADLER, P. 1999. Two semantics of XPath. Discussion note for W3C XSLT Working Group. http://homepages.inf.ed.ac.uk/wadler/papers/xpath- semantics/.