{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T15:06:58Z","timestamp":1775056018474,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":15,"publisher":"ACM","license":[{"start":{"date-parts":[[2012,9,4]],"date-time":"2012-09-04T00:00:00Z","timestamp":1346716800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2012,9,4]]},"DOI":"10.1145\/2361354.2361375","type":"proceedings-article","created":{"date-parts":[[2012,9,12]],"date-time":"2012-09-12T13:01:27Z","timestamp":1347454887000},"page":"95-98","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["XML query-update independence analysis revisited"],"prefix":"10.1145","author":[{"given":"Muhammad","family":"Junedi","sequence":"first","affiliation":[{"name":"Inria\/LIG, Saint Ismier, France"}]},{"given":"Pierre","family":"Genev\u00e8s","sequence":"additional","affiliation":[{"name":"CNRS and Inria\/LIG, France"}]},{"given":"Nabil","family":"Laya\u00efda","sequence":"additional","affiliation":[{"name":"Inria\/LIG, Saint Ismier, France"}]}],"member":"320","published-online":{"date-parts":[[2012,9,4]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.14778\/1687627.1687635"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.14778\/1920841.1920956"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1620585.1620592"},{"key":"e_1_3_2_1_4_1","first-page":"271","volume-title":"VLDB'06","author":"Benzaken V\u00e9ronique","year":"2006","unstructured":"V\u00e9ronique Benzaken , Giuseppe Castagna , Dario Colazzo , and Kim Nguy\u00ean . Type-based XML projection . In VLDB'06 , pages 271 -- 282 , 2006 . V\u00e9ronique Benzaken, Giuseppe Castagna, Dario Colazzo, and Kim Nguy\u00ean. Type-based XML projection. In VLDB'06, pages 271--282, 2006."},{"key":"e_1_3_2_1_5_1","volume-title":"XQuery Update Facility. W3C WD","author":"Chamberlin Don","year":"2006","unstructured":"Don Chamberlin , Daniela Florescu , and Jonathan Robie . XQuery Update Facility. W3C WD , 2006 . Don Chamberlin, Daniela Florescu, and Jonathan Robie. XQuery Update Facility. W3C WD, 2006."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/872757.872832"},{"key":"e_1_3_2_1_7_1","volume-title":"The Yices SMT solver. Technical report","author":"Dutertre Bruno","year":"2006","unstructured":"Bruno Dutertre and Leonardo De Moura . The Yices SMT solver. Technical report , 2006 . Bruno Dutertre and Leonardo De Moura. The Yices SMT solver. Technical report, 2006."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/11547273_10"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.datak.2006.11.003"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250773"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1412331.1412341"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/IDEAS.2005.39"},{"key":"e_1_3_2_1_15_1","volume-title":"BRICS","author":"Klarlund Nils","year":"2001","unstructured":"Nils Klarlund and Anders M\u00f8ller . MONA Version 1.4 User Manual . BRICS , January 2001 . Nils Klarlund and Anders M\u00f8ller. MONA Version 1.4 User Manual. BRICS, January 2001."},{"key":"e_1_3_2_1_16_1","first-page":"974","volume-title":"VLDB'02","author":"Schmidt Albrecht","year":"2002","unstructured":"Albrecht Schmidt , Florian Waas , Martin Kersten , Michael J. Carey , Ioana Manolescu , and Ralph Busse . XMark : a benchmark for XML data management . In VLDB'02 , pages 974 -- 985 , 2002 . Albrecht Schmidt, Florian Waas, Martin Kersten, Michael J. Carey, Ioana Manolescu, and Ralph Busse. XMark: a benchmark for XML data management. In VLDB'02, pages 974--985, 2002."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.5555\/648232.757381"}],"event":{"name":"DocEng '12: ACM Symposium on Document Engineering","location":"Paris France","acronym":"DocEng '12","sponsor":["SIGWEB ACM Special Interest Group on Hypertext, Hypermedia, and Web","SIGDOC ACM Special Interest Group for Design of Communications"]},"container-title":["Proceedings of the 2012 ACM symposium on Document engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2361354.2361375","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2361354.2361375","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T09:34:16Z","timestamp":1750239256000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2361354.2361375"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,9,4]]},"references-count":15,"alternative-id":["10.1145\/2361354.2361375","10.1145\/2361354"],"URL":"https:\/\/doi.org\/10.1145\/2361354.2361375","relation":{},"subject":[],"published":{"date-parts":[[2012,9,4]]},"assertion":[{"value":"2012-09-04","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}