Destabilizers and independence of XML updates

Proceedings of the VLDB Endowment

Volumn 3, Issue 1, 2010, Pages 906-917

  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

XML;

MATERIALIZED VIEW; MODULAR FRAMEWORK; QUERY REWRITINGS; SATISFIABILITY; SATISFIABILITY PROBLEMS; SUB-PROBLEMS; UPDATE LANGUAGES; XML QUERIES;

FORMAL LOGIC;

EID: 79952353944     PISSN: None     EISSN: 21508097     Source Type: Conference Proceeding    
DOI: 10.14778/1920841.1920956     Document Type: Article

References (29)

1. C. Barrett and C. Tinelli. CVC3. In CAV 2007, July 2007.
2. M. Benedikt and J. Cheney. Schema-based independence analysis for XML updates. In VLDB, 2009.
3. M. Benedikt and J. Cheney. Semantics, types and effects for XML Updates. In DBPL, 2009.
4. M. Benedikt, W. Fan, and F. Geerts. XPath satisfiability in the presence of DTDs. In PODS, 2005.
5. Michael Benedikt and Christoph Koch. From XQuery to relational logics. ACM TODS, 34(4):A25, 2009.
6. V. Benzaken, G. Castagna, D. Colazzo, and K. Nguŷen. Type-based XML projection. In VLDB, 2006.
7. H. Björklund, W. Gelade, M. Marquardt, and W. Martens. Incremental XPath evaluation. In ICDT, 2009.
8. J. Blakeley, N. Coburn, and P.-Å . Larson. Updating Derived Relations: Detecting Irrelevant and Autonomously Computable Updates. ACM TODS, 14(3):369-400, 1989.
9. D. Chamberlin, M. Dyck, D. Florescu, J. Melton, J. Robie, and J. Siméon. XQuery update facility 1.0. W3C Candidate Recommendation, August 2008.
10. L. Mendonça de Moura and N. Bjørner. Z3: An efficient SMT solver. In TACAS, 2008.
11. D. DeHaan, D. Toman, M. Consens, and M. T. Özsu. A comprehensive XQuery to SQL translation using dynamic interval encoding. In SIGMOD, 2003.
12. Katica Dimitrova, Maged El-Sayed, and Elke A. Rundensteiner. Order-Sensitive View Maintenance of Materialized XQuery Views. In ER, 2003.
13. D. Draper, P. Fankhauser, M. Fernández, A. Malhotra, K. Rose, M. Rys, J. Siméon, and P. Wadler. XQuery 1.0 and XPath 2.0 formal semantics. W3C Recommendation, January 2007.
14. B. Dutertre and L. de Moura. The Yices SMT solver. Tool paper at http://yices.csl.sri.com/tool-paper.pdf, August 2006.
15. M. Franceschet. XPathMark: an XPath benchmark for XMark generated data. In XSYM, 2005.
16. P. Genevès and N. Layaïda. Deciding XPath containment with MSO. Data Knowl. Eng., 63(1):108-136, 2007.
17. P. Genevès and N. Layaïda., and A. Schmitt. Efficient static analysis of XML paths and types. In PLDI, 2007.
18. G. Ghelli, K. Rose, and J. Siméon. Commutativity analysis for XML updates. ACM TODS, 33(4):1-47, 2008.
19. T. Griffin, L. Libkin, and H. Trickey. An improved algorithm for the incremental recomputation of active relational expressions. IEEE TKDE, 9(3):508-511, 1997.
20. B. Hammerschmidt, M. Kempa, and V. Linnemann. On the Intersection of XPath Expressions. In IDEAS, 2005.
21. J. Hidders. Satisfiability of XPath expressions. In DBPL, 2003.
22. N. Klarlund and A. Møller. Mona v. 1.4 user manual. Technical Report BRICS NS-01-1, U. Aarhus, 2001.
23. A. Levy and Y. Sagiv. Queries Independent of Updates. In VLDB, 1993.
24. A. Marian and J. Siméon. Projecting XML documents. In VLDB, 2003.
25. X. Qian and G. Wiederhold. Incremental Recomputation of Active Relational Expressions. IEEE TKDE, 3(3):337-341, 1991.
26. M. Raghavachari and O. Shmueli. Conflicting XML updates. In EDBT, 2006.
27. A. Sawires, J. Tatemura, O. Po, D. Agrawal, A. El Abbadi, and K. Candan. Maintaining XPath Views In Loosely Coupled Systems. In VLDB, 2006.
28. A. Schmidt, F. Waas, M. Kersten, M. Carey, I. Manolescu, and R. Busse. XMark: A Benchmark for XML Data Management. In VLDB, 2002.
29. Sergei G. Vorobyov. An improved lower bound for the elementary theories of trees. In CADE, 1996.