{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,3]],"date-time":"2026-10-03T20:39:03Z","timestamp":1791059943134,"version":"4.1.0"},"reference-count":20,"publisher":"Association for Computing Machinery (ACM)","issue":"9","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Proc. VLDB Endow."],"published-print":{"date-parts":[[2012,5]]},"abstract":"<jats:p>\n            This paper presents a novel static analysis technique to detect XML query-update independence, in the presence of a schema. Rather than types, our system infers\n            <jats:italic>chains<\/jats:italic>\n            of types. Each chain represents a path that can be traversed on a valid document during query\/update evaluation. The resulting independence analysis is precise, although it raises a challenging issue: recursive schemas may lead to inference of infinitely many chains.\n          <\/jats:p>\n          <jats:p>A sound and complete approximation technique ensuring a finite analysis in any case is presented, together with an efficient implementation performing the chain-based analysis in polynomial space and time.<\/jats:p>","DOI":"10.14778\/2311906.2311914","type":"journal-article","created":{"date-parts":[[2014,6,24]],"date-time":"2014-06-24T12:17:57Z","timestamp":1403612277000},"page":"872-883","source":"Crossref","is-referenced-by-count":4,"title":["Type-based detection of XML query-update independence"],"prefix":"10.14778","volume":"5","author":[{"given":"Nicole","family":"Bidoit-Tollu","sequence":"first","affiliation":[{"name":"Universite Paris Sud &amp; INRIA Saclay"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Dario","family":"Colazzo","sequence":"additional","affiliation":[{"name":"Universite Paris Sud &amp; INRIA Saclay"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Federico","family":"Ulliana","sequence":"additional","affiliation":[{"name":"Universite Paris Sud &amp; INRIA Saclay"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2012,5]]},"reference":[{"key":"e_1_2_1_1_1","unstructured":"XML Query Use Cases. http:\/\/www.w3.org.  XML Query Use Cases. http:\/\/www.w3.org."},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/543613.543647"},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1951365.1951403"},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-03793-1_1"},{"key":"e_1_2_1_5_1","volume-title":"Destabilizers and independence of XML updates. PVLDB, 3(1)","author":"Benedikt M.","year":"2010","unstructured":"M. Benedikt and J. Cheney . Destabilizers and independence of XML updates. PVLDB, 3(1) , 2010 . M. Benedikt and J. Cheney. Destabilizers and independence of XML updates. PVLDB, 3(1), 2010."},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.14778\/1687627.1687635"},{"key":"e_1_2_1_7_1","volume-title":"VLDB","author":"Benzaken V.","year":"2006","unstructured":"V. Benzaken , G. Castagna , D. Colazzo , and K. Nguyen . Type-based XML projection . VLDB , 2006 . V. Benzaken, G. Castagna, D. Colazzo, and K. Nguyen. Type-based XML projection. VLDB, 2006."},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1735886.1735890"},{"key":"e_1_2_1_9_1","volume-title":"Detecting XML Query-Update Independence. Technical report","author":"Bidoit N.","year":"2010","unstructured":"N. Bidoit , D. Colazzo , and F. Ulliana . Detecting XML Query-Update Independence. Technical report , 2010 . http:\/\/www.lri.fr\/~fulliana\/papers\/quindepfull.pdf. N. Bidoit, D. Colazzo, and F. Ulliana. Detecting XML Query-Update Independence. Technical report, 2010. http:\/\/www.lri.fr\/~fulliana\/papers\/quindepfull.pdf."},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1411204.1411209"},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796806005983"},{"key":"e_1_2_1_12_1","volume-title":"XQuery 1.0 and XPath 2.0 Formal Semantics. Technical report","author":"Draper D.","year":"2010","unstructured":"D. Draper , P. Fankhauser , M. Fernandez , A. Malhotra , K. Rose , M. Rys , J. Sim\u00e9on , and P. Wadler . XQuery 1.0 and XPath 2.0 Formal Semantics. Technical report , World Wide Web Consortium , Dec. 2010 . D. Draper, P. Fankhauser, M. Fernandez, A. Malhotra, K. Rose, M. Rys, J. Sim\u00e9on, and P. Wadler. XQuery 1.0 and XPath 2.0 Formal Semantics. Technical report, World Wide Web Consortium, Dec. 2010."},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/11547273_10"},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/11965893_19"},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1412331.1412341"},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.5555\/1315451.1315471"},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.5555\/381193"},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/11687238_34"},{"key":"e_1_2_1_19_1","volume-title":"W3C","author":"Robie J.","year":"2011","unstructured":"J. Robie , D. Chamberlin , M. Dyck , D. Florescu , J. Milton , and J. Simeon . XQuery update facility 1.0. Technical report , W3C Consortium , Mar. 2011 . J. Robie, D. Chamberlin, M. Dyck, D. Florescu, J. Milton, and J. Simeon. XQuery update facility 1.0. Technical report, W3C Consortium, Mar. 2011."},{"key":"e_1_2_1_20_1","volume-title":"VLDB","author":"Schmidt A.","year":"2002","unstructured":"A. Schmidt , F. Waas , M. L. Kersten , M. J. Carey , I. Manolescu , and R. Busse . XMark: A benchmark for XML data management . In VLDB , 2002 . A. Schmidt, F. Waas, M. L. Kersten, M. J. Carey, I. Manolescu, and R. Busse. XMark: A benchmark for XML data management. In VLDB, 2002."}],"container-title":["Proceedings of the VLDB Endowment"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.14778\/2311906.2311914","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,12,28]],"date-time":"2022-12-28T10:29:56Z","timestamp":1672223396000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.14778\/2311906.2311914"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,5]]},"references-count":20,"journal-issue":{"issue":"9","published-print":{"date-parts":[[2012,5]]}},"alternative-id":["10.14778\/2311906.2311914"],"URL":"https:\/\/doi.org\/10.14778\/2311906.2311914","relation":{},"ISSN":["2150-8097"],"issn-type":[{"value":"2150-8097","type":"print"}],"subject":[],"published":{"date-parts":[[2012,5]]}}}