Schema-based independence analysis for XML updates

Proceedings of the VLDB Endowment

Volumn 2, Issue 1, 2009, Pages 61-72

  Benedikt, Michael ^a   Cheney, James ^b  

^a UNIVERSITY OF OXFORD   (United Kingdom)

^b UNIVERSITY OF EDINBURGH   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ACCESS CONTROL; SEMANTICS;

ANALYSIS TECHNIQUES; MATERIALIZED VIEW; PROOF OF CORRECTNESS; RECOMPUTATION; SCHEMA INFORMATION; SNAPSHOT SEMANTICS; XML UPDATE;

CONCURRENCY CONTROL;

EID: 77957668769     PISSN: None     EISSN: 21508097     Source Type: Conference Proceeding    
DOI: 10.14778/1687627.1687635     Document Type: Article

References (26)

1. Michael Benedikt, Angela Bonifati, Sergio Flesca, and Avinash Vyas. Adding updates to XQuery: Semantics, optimization, and static analysis. In Daniela Florescu and Hamid Pirahesh, editors, XIME-P, 2005.
2. Michael Benedikt, Angela Bonifati, Sergio Flesca, and Avinash Vyas. Verification of tree updates for optimization. In CAV, 2005.
3. Michael Benedikt and James Cheney. Schema-based independence analysis for XML updates. http://web.comlab.ox.ac.uk/people/Michael.Benedikt/papers/tr.pdf.
4. Michael Benedikt and James Cheney. Types, effects, and schema evolution for XML Updates. In DBPL, 2009.
5. Michael Benedikt and Christoph Koch. Interpreting tree-to-tree queries. In ICALP, 2006.
6. Véronique Benzaken, Giuseppe Castagna, Dario Colazzo, and Kim Nguyên. Type-based xml projection. In VLDB, pages 271-282. VLDB Endowment, 2006.
7. G. M. Bierman. Formal semantics and analysis of object queries. In SIGMOD, 2003.
8. Henrik Björklund, Wouter Gelade, Marcel Marquardt, and Wim Martens. Incremental xpath evaluation. In Ronald Fagin, editor, ICDT, volume 361 of ACM International Conference Proceeding Series, pages 162-173. ACM, 2009.
9. Scott Boag, Don Chamberlin, Mary F. Fernández, Daniela Florescu, Jonathan Robie, and Jérôme Siméon. XQuery 1.0: An XML query language. W3C Recommendation, January 2007. http://www.w3.org/TR/xquery.
10. Don Chamberlin and Jonathan Robie. XQuery update facility 1.0. W3C Candidate Recommendation, August 2008. http://www.w3.org/TR/xquery-update-10/.
11. James Cheney. FLUX: FunctionaL Updates for XML. In ICFP, 2008.
12. Dario Colazzo, Giorgio Ghelli, Paolo Manghi, and Carlo Sartiani. Static analysis for path correctness of XML queries. J. Funct. Program., 16(4-5):621-661, 2006.
13. Katica Dimitrova, Maged El-Sayed, and Elke A. Rundensteiner. Order-sensitive view maintenance of materialized XQuery views. In ER, 2003.
14. Denise Draper, Peter Fankhauser, Mary Fernández, Ashok Malhotra, Kristoffer Rose, Michael Rys, Jérôme Siméon, and Philip Wadler. XQuery 1.0 and XPath 2.0 formal semantics. W3C Recommendation, January 2007. http://www.w3.org/TR/xquery-semantics/.
15. J. Nathan Foster, Ravi Konuru, Jérôme Siméon, and Lionel Villard. An algebraic approach to view maintenance for XQuery. In PLAN-X, 2008.
16. Giorgio Ghelli, Kristoffer Rose, and Jérôme Siméon. Commutativity analysis for XML updates. ACM Trans. Database Syst., 33(4):1-47, 2008.
17. Haruo Hosoya, Jérôme Vouillon, and Benjamin C. Pierce. Regular expression types for XML. ACM Trans. Program. Lang. Syst., 27(1):46-90, 2005.
18. Amélie Marian and Jérôme Siméon. Projecting XML documents. In VLDB, 2003.
19. M.Francechet. XPathMark: an XPath benchmark for XMark generated data. In XSYM, 2005.
20. Makoto Murata. "Relax". http://www.xml.gr.jp/relax/.
21. Yannis Papakonstantinou and Victor Vianu. Type inference for views of semistructured data. In PODS, 2000.
22. Mukund Raghavachari and Oded Shmueli. Conflicting XML updates. In EDBT, 2006.
23. Mukund Raghavachari and Oded Shmueli. Efficient revalidation of XML documents. IEEE Trans. on Knowl. and Data Eng., 19(4):554-567, 2007.
24. A. Schmidt, F. Waas, M. Kersten, M. Carey, I. Manolescu, and R. Busse. XMark: A Benchmark for XML Data Management. In VLDB, 2002.
25. Thomas Schwentick. "Automata for XML - A Survey". Journal of Computer and Systems Science, 73:289-315, 2007.
26. Gargi Sur, Joachim Hammer, and Jérôme Siméon. UpdateX - an XQuery-based language for processing updates in XML. In PLAN-X, 2004.