{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,16]],"date-time":"2025-10-16T06:53:41Z","timestamp":1760597621695},"reference-count":26,"publisher":"Association for Computing Machinery (ACM)","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Proc. VLDB Endow."],"published-print":{"date-parts":[[2009,8]]},"abstract":"<jats:p>Query-update independence analysis is the problem of determining whether an update affects the results of a query. Query-update independence is useful for avoiding recomputation of materialized views and may have applications to access control and concurrency control. This paper develops static analysis techniques for query-update independence problems involving core XQuery queries and updates with a snapshot semantics (based on the W3C XQuery Update Facility proposal). Our approach takes advantage of schema information, in contrast to previous work on this problem. We formalize our approach, sketch a proof of correctness, and report on the performance and accuracy of our implementation.<\/jats:p>","DOI":"10.14778\/1687627.1687635","type":"journal-article","created":{"date-parts":[[2014,6,24]],"date-time":"2014-06-24T12:17:57Z","timestamp":1403612277000},"page":"61-72","source":"Crossref","is-referenced-by-count":12,"title":["Schema-based independence analysis for XML updates"],"prefix":"10.14778","volume":"2","author":[{"given":"Michael","family":"Benedikt","sequence":"first","affiliation":[{"name":"University of Oxford"}]},{"given":"James","family":"Cheney","sequence":"additional","affiliation":[{"name":"University of Edinburgh"}]}],"member":"320","published-online":{"date-parts":[[2009,8]]},"reference":[{"key":"e_1_2_1_1_1","volume-title":"Adding updates to XQuery: Semantics, optimization, and static analysis","author":"Benedikt Michael","year":"2005","unstructured":"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 . 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."},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/11513988_37"},{"key":"e_1_2_1_3_1","unstructured":"Michael Benedikt and James Cheney. Schema-based independence analysis for XML updates. http:\/\/web.comlab.ox.ac.uk\/people\/Michael.Benedikt\/papers\/tr.pdf.  Michael Benedikt and James Cheney. Schema-based independence analysis for XML updates. http:\/\/web.comlab.ox.ac.uk\/people\/Michael.Benedikt\/papers\/tr.pdf."},{"key":"e_1_2_1_4_1","volume-title":"DBPL","author":"Benedikt Michael","year":"2009","unstructured":"Michael Benedikt and James Cheney . Types, effects , and schema evolution for XML Updates . In DBPL , 2009 . Michael Benedikt and James Cheney. Types, effects, and schema evolution for XML Updates. In DBPL, 2009."},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/11787006_47"},{"key":"e_1_2_1_6_1","first-page":"271","volume-title":"VLDB","author":"Benzaken V\u00e9ronique","year":"2006","unstructured":"V\u00e9ronique Benzaken , Giuseppe Castagna , Dario Colazzo , and Kim Nguy\u00ean . Type-based xml projection . In VLDB , pages 271 -- 282 . VLDB Endowment , 2006 . V\u00e9ronique Benzaken, Giuseppe Castagna, Dario Colazzo, and Kim Nguy\u00ean. Type-based xml projection. In VLDB, pages 271--282. VLDB Endowment, 2006."},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/872757.872807"},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1514894.1514915"},{"key":"e_1_2_1_9_1","volume-title":"January","author":"Boag Scott","year":"2007","unstructured":"Scott Boag , Don Chamberlin , Mary F. Fern\u00e1ndez , Daniela Florescu , Jonathan Robie , and J\u00e9r\u00f4me Sim\u00e9on . X Query 1.0 : An XML query language. W3C Recommendation , January 2007 . http:\/\/www.w3.org\/TR\/xquery. Scott Boag, Don Chamberlin, Mary F. Fern\u00e1ndez, Daniela Florescu, Jonathan Robie, and J\u00e9r\u00f4me Sim\u00e9on. XQuery 1.0: An XML query language. W3C Recommendation, January 2007. http:\/\/www.w3.org\/TR\/xquery."},{"key":"e_1_2_1_10_1","volume-title":"August","author":"Chamberlin Don","year":"2008","unstructured":"Don Chamberlin and Jonathan Robie . XQuery update facility 1.0. W3C Candidate Recommendation , August 2008 . http:\/\/www.w3.org\/TR\/xquery-update-10\/. Don Chamberlin and Jonathan Robie. XQuery update facility 1.0. W3C Candidate Recommendation, August 2008. http:\/\/www.w3.org\/TR\/xquery-update-10\/."},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1411204.1411209"},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796806005983"},{"key":"e_1_2_1_13_1","volume-title":"ER","author":"Dimitrova Katica","year":"2003","unstructured":"Katica Dimitrova , Maged El-Sayed , and Elke A. Rundensteiner . Order-sensitive view maintenance of materialized XQuery views . In ER , 2003 . Katica Dimitrova, Maged El-Sayed, and Elke A. Rundensteiner. Order-sensitive view maintenance of materialized XQuery views. In ER, 2003."},{"key":"e_1_2_1_14_1","unstructured":"Denise Draper Peter Fankhauser Mary Fern\u00e1ndez Ashok Malhotra Kristoffer Rose Michael Rys J\u00e9r\u00f4me Sim\u00e9on and Philip Wadler. XQuery 1.0 and XPath 2.0 formal semantics. W3C Recommendation January 2007. http:\/\/www.w3.org\/TR\/xquery-semantics\/.  Denise Draper Peter Fankhauser Mary Fern\u00e1ndez Ashok Malhotra Kristoffer Rose Michael Rys J\u00e9r\u00f4me Sim\u00e9on and Philip Wadler. XQuery 1.0 and XPath 2.0 formal semantics. W3C Recommendation January 2007. http:\/\/www.w3.org\/TR\/xquery-semantics\/."},{"key":"e_1_2_1_15_1","volume-title":"PLAN-X","author":"Foster J. Nathan","year":"2008","unstructured":"J. Nathan Foster , Ravi Konuru , J\u00e9r\u00f4me Sim\u00e9on , and Lionel Villard . An algebraic approach to view maintenance for XQuery . In PLAN-X , 2008 . J. Nathan Foster, Ravi Konuru, J\u00e9r\u00f4me Sim\u00e9on, and Lionel Villard. An algebraic approach to view maintenance for XQuery. In PLAN-X, 2008."},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1412331.1412341"},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1053468.1053470"},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.5555\/1315451.1315471"},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/11547273_10"},{"key":"e_1_2_1_20_1","unstructured":"Makoto Murata. \"Relax\". http:\/\/www.xml.gr.jp\/relax\/.  Makoto Murata. \"Relax\". http:\/\/www.xml.gr.jp\/relax\/."},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/335168.335173"},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/11687238_34"},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/TKDE.2007.1004"},{"key":"e_1_2_1_24_1","volume-title":"VLDB","author":"Schmidt A.","year":"2002","unstructured":"A. Schmidt , F. Waas , M. Kersten , M. Carey , I. Manolescu , and R. Busse . XMark: A Benchmark for XML Data Management . In VLDB , 2002 . A. Schmidt, F. Waas, M. Kersten, M. Carey, I. Manolescu, and R. Busse. XMark: A Benchmark for XML Data Management. In VLDB, 2002."},{"key":"e_1_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jcss.2006.10.003"},{"key":"e_1_2_1_26_1","volume-title":"PLAN-X","author":"Sur Gargi","year":"2004","unstructured":"Gargi Sur , Joachim Hammer , and J\u00e9r\u00f4me Sim\u00e9on . Update X - an XQuery-based language for processing updates in XML . In PLAN-X , 2004 . Gargi Sur, Joachim Hammer, and J\u00e9r\u00f4me Sim\u00e9on. UpdateX - an XQuery-based language for processing updates in XML. In PLAN-X, 2004."}],"container-title":["Proceedings of the VLDB Endowment"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.14778\/1687627.1687635","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,12,28]],"date-time":"2022-12-28T11:23:35Z","timestamp":1672226615000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.14778\/1687627.1687635"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,8]]},"references-count":26,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2009,8]]}},"alternative-id":["10.14778\/1687627.1687635"],"URL":"https:\/\/doi.org\/10.14778\/1687627.1687635","relation":{},"ISSN":["2150-8097"],"issn-type":[{"value":"2150-8097","type":"print"}],"subject":[],"published":{"date-parts":[[2009,8]]}}}