Adding updates to XQuery: Semantics, optimization, and static analysis

2nd International Workshop on XQuery Implementation, Experience and Perspectives, XIME-P 2005

Volumn , Issue , 2005, Pages

  Benedikt, Michael ^a   Bonifati, Angela ^b   Flesca, Sergio ^c   Vyas, Avinash ^a  

^a LUCENT TECHNOLOGIES   (United States)

^b ICAR CNR   (Italy)

^c UNIVERSITY OF CALABRIA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; STATIC ANALYSIS;

ALTERNATIVE SEMANTICS; DETERMINISTIC SEMANTICS; EXECUTION PROCESS; PROTOTYPE IMPLEMENTATIONS; QUERY EVALUATION; RE ORDERINGS; UPDATE LANGUAGES; XQUERY EXPRESSIONS;

SEMANTICS;

EID: 84926294105     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (31)

1. S. Abiteboul, P. Buneman, and D. Suciu. Data on the Web: From Relations to Semistructured Data and XML. Morgan Kaufmann Publishers, San Francisco, California, 1999.
2. X. Qian. The expressive power of the bounded-iteration construct. Acta Informatica, 28 (7):631-656, 1991.
3. M. Benedikt, A. Bonifati, S. Flesca, and A. Vyas. Verification of Tree Updates for Optimization. In (To appear) Proc. of the Int. Conf. on Computer Aided Verification (CAV), 2005. Technical Report:http://www.icar.cnr.it/angela/updates.pdf.
4. M. Murata, A. Tozawa, M. Kudo, and S. Hada. XML access control using static analysis. In Proc. of CCS, 2003.
5. V. Apparao et al. Document Object Model (DOM) Level 1 Specification. W3C Recommendation, Oct. 1998. http://www.w3.org/TR/REC-DOM-Level-1.
6. J. Hidders and P. Michiels Avoiding Unnecessary Ordering Operations in XPath In DBPL, 2003.
7. M. Fernandez and J. Siméon. Growing XQuery. In Proceedings of ECOOP, pages 405-430, 2003.
8. D. Obasanjo and S. B. Navathe. A Proposal for an XML Data Definition and Manipulation Language. In Proc. of EEXTT, 2002.
9. M. Rys. Bringing the Internet to Your Database: Using SQLServer 2000 and XML to Build Loosely-Coupled Systems. In Proc. of ICDE, pages 465-472, 2001.
10. M. Schwartzbach and A. Moller. The design space of type checkers for XML transformation languages. In Proc. of ICDT, 2005.
11. S. Abiteboul, D. Quass, J. McHugh, J. Widom, and J. Wiener. The lorel query language for semistructured data. Int. J. on Digital Libraries, 1 (1):68-88, 1997.
12. S. Dekeyser, J. Hidders and J. Paredaens. Instanceindependent Concurrency Control for Semi-structured Data. In Italian Symposium on Advanced Database Systems, 2003.
13. M. Rys. Materialisation and Parallelism in the Mapping of an Object Model to a Relational Multi-processor System. Infix Verlag, St. Augustin, Germany, 1998.
14. M. Rys. Proposal for an XML Data Modification Language. Microsoft Corp., Redmond (WA), Proposal May 2002. [Oracle03] Oracle9i. Web Site, 2003. http://www.oracle.com.
15. G. Sur, J. Hammer, and J. Siméon. An XQuery-Based Language for Processing Updates in XML. In PLAN-X, 2004. See also: http://www.cise.ufl.edu/research/mobility.
16. S. Abiteboul and V. Vianu. Procedural and declarative database update languages. In Proc. of ACM PODS, 1988.
17. M. Benedikt and W. Fan and F. Geerts. XPath Satisfiability in the Presence of DTDs. To appear in Proc of ACM PODS, 2005.
18. I. Tatarinov, Z. Ives, A. Halevy, and D. Weld. Updating XML. In Proc. of ACM SIGMOD, 2001.
19. XML Support in Microsoft SQL Server 2005. http://msdn.microsoft.com/xml/default.aspx?pull=/library/en-us/dnsql90/html/sql2k5xml.asp.
20. E. Baralis and J. Widom An algebraic approach to static analysis of active database rules. ACM TODS, 25 (3):269-332,2000.
21. M. Andries, L. Cabibbo, J. Paredaens, and J. V. den Bussche. Applying an update method to a set of receivers. ACM TODS, 26 (1):1-40, 2001.
22. M. Benedikt, A. Bonifati, S. Flesca, and A. Vyas. Semantics and Optimization of XML Updates Technical Report 2005.
23. C. Kirkegaard, A. Moller, and M. I. Schwartzbach. Static analysis of xml transformations in java. IEEE Transactions on Software Engineering, 2004.
24. A. Schmidt, F. Waas, M. Kersten, M. Carey, I. Manolescu, and R. Busse. XMark: A benchmark for XML data management. In Proc. of VLDB, 2002.
25. M. Fernandez, J. Siméon, B. Choi, A. Marian, and G. Sur. Implementing XQuery 1.0: The Galax Experience. In Proc. of VLDB, 2003.
26. A. Marian and J. Siméon. Projecting XML Documents. In Proc. of VLDB, 2003.
27. Updates in XQuery: working notes of W3C XQueryX , 2004.
28. A. Laux and L. Martin. XUpdate -XML Update Language., 2000. http://www.xmldb.org/xupdate/xupdate-wd.html.
29. P. Lehti. Design and Implementation of a Data Manipulation Processor. Diplomarbeit, Technische Universitat Darmstadt, 2002. http://www.lehti.de/beruf/diplomarbeit.pdf.
30. M. Olesen. Static validation of XSLT, 2004. http://www.daimi.au.dk/madman/xsltvalidation.
31. Website. XQuery 1.0: An XML Query Language, 2004. http://www.w3.org/TR/xquery.