{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T03:11:56Z","timestamp":1761621116036},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642339981"},{"type":"electronic","value":"9783642339998"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-33999-8_8","type":"book-chapter","created":{"date-parts":[[2012,10,17]],"date-time":"2012-10-17T11:27:25Z","timestamp":1350473245000},"page":"57-66","source":"Crossref","is-referenced-by-count":3,"title":["Static Analysis of XML Document Adaptations"],"prefix":"10.1007","author":[{"given":"Alessandro","family":"Solimando","sequence":"first","affiliation":[]},{"given":"Giorgio","family":"Delzanno","sequence":"additional","affiliation":[]},{"given":"Giovanna","family":"Guerrini","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"8_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-03793-1_1","volume-title":"Database Programming Languages","author":"M. Benedikt","year":"2009","unstructured":"Benedikt, M., Cheney, J.: Semantics, Types and Effects for XML Updates. In: Gardner, P., Geerts, F. (eds.) DBPL 2009. LNCS, vol.\u00a05708, pp. 1\u201317. Springer, Heidelberg (2009)"},{"key":"8_CR2","doi-asserted-by":"crossref","unstructured":"Cavalieri, F., Guerrini, G., Mesiti, M.: Updating XML Schemas and Associated Documents through Exup. In: Proc. of the 27th International Conference on Data Engineering, pp. 1320\u20131323 (2011)","DOI":"10.1109\/ICDE.2011.5767951"},{"key":"8_CR3","unstructured":"Clark, J., Murata, M.: RELAX NG Specification (2001), http:\/\/www.relaxng.org\/spec-20011203.html"},{"key":"8_CR4","unstructured":"Comon, H., Dauchet, M., Gilleron, R., L\u00f6ding, C., Jacquemard, F., Lugiez, D., Tison, S., Tommasi, M.: Tree Automata Techniques and Applications (2007), http:\/\/www.grappa.univ-lille3.fr\/tata (release October 12, 2007)"},{"key":"8_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"246","DOI":"10.1007\/3-540-44881-0_18","volume-title":"Rewriting Techniques and Applications","author":"S. Dal-Zilio","year":"2003","unstructured":"Dal-Zilio, S., Lugiez, D.: XML Schema, Tree Logic and Sheaves Automata. In: Nieuwenhuis, R. (ed.) RTA 2003. LNCS, vol.\u00a02706, pp. 246\u2013263. Springer, Heidelberg (2003)"},{"key":"8_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"332","DOI":"10.1007\/978-3-540-88387-6_29","volume-title":"Automated Technology for Verification and Analysis","author":"B. Genest","year":"2008","unstructured":"Genest, B., Muscholl, A., Serre, O., Zeitoun, M.: Tree Pattern Rewriting Systems. In: Cha, S(S.), Choi, J.-Y., Kim, M., Lee, I., Viswanathan, M. (eds.) ATVA 2008. LNCS, vol.\u00a05311, pp. 332\u2013346. Springer, Heidelberg (2008)"},{"key":"8_CR7","doi-asserted-by":"crossref","unstructured":"Geneves, P., Layaiada, N., Quint, V.: Impact of XML Schema Evolution. ACM Trans. Internet Technol.\u00a011(1) (2011)","DOI":"10.1145\/1993083.1993087"},{"key":"8_CR8","doi-asserted-by":"crossref","unstructured":"Guerrini, G., Mesiti, M., Sorrenti, M.: XML Schema Evolution: Incremental Validation and Efficient Document Adaptation. In: 5th International XML Database Symposium on Database and XML Technologies, pp. 92\u2013106 (2007)","DOI":"10.1007\/978-3-540-75288-2_8"},{"key":"8_CR9","doi-asserted-by":"crossref","unstructured":"Jacquemard, F., Rusinowitch, M.: Formal Verification of XML Updates and Access Control Policies (May 2010)","DOI":"10.1145\/1836089.1836105"},{"issue":"2","key":"8_CR10","first-page":"1521","volume":"3","author":"Z. Liu","year":"2010","unstructured":"Liu, Z., Natarajan, S., He, B., Hsiao, H., Chen, Y.: Cods: Evolving data efficiently and scalably in column oriented databases. PVLDB\u00a03(2), 1521\u20131524 (2010)","journal-title":"PVLDB"},{"key":"8_CR11","doi-asserted-by":"crossref","unstructured":"Maneth, S., Berlea, A., Perst, T., Seidl, H.: XML type checking with macro tree transducers. In: PODS, pp. 283\u2013294 (2005)","DOI":"10.1145\/1065167.1065203"},{"issue":"1","key":"8_CR12","first-page":"882","volume":"1","author":"H. Moon","year":"2008","unstructured":"Moon, H., Curino, C., Deutsch, A., Hou, C., Zaniolo, C.: Managing and querying transaction-time databases under schema evolution. PVLDB\u00a01(1), 882\u2013895 (2008)","journal-title":"PVLDB"},{"key":"8_CR13","doi-asserted-by":"crossref","unstructured":"Moro, M., Malaika, S., Lim, L.: Preserving xml queries during schema evolution. In: WWW, pp. 1341\u20131342 (2007)","DOI":"10.1145\/1242572.1242841"},{"issue":"4","key":"8_CR14","doi-asserted-by":"publisher","first-page":"660","DOI":"10.1145\/1111627.1111631","volume":"5","author":"M. Murata","year":"2005","unstructured":"Murata, M., Lee, D., Mani, M., Kawaguchi, K.: Taxonomy of XML schema languages using formal language theory. ACM Trans. Internet Technol.\u00a05(4), 660\u2013704 (2005)","journal-title":"ACM Trans. Internet Technol."},{"key":"8_CR15","doi-asserted-by":"crossref","unstructured":"Solimando, A., Delzanno, G., Guerrini, G.: Static Analysis of XML Document Adaptations through Hedge Automata. Technical Report DISI-TR-11-08 (2011)","DOI":"10.1007\/978-3-642-33999-8_8"},{"key":"8_CR16","doi-asserted-by":"crossref","unstructured":"Touili, T.: Computing Transitive Closures of Hedge Transformations. In: Proc. 1st Int. Workshop on Verification and Evaluation of Computer and Communication Systems (VECOS 2007). eWIC Series. British Computer Society (2007)","DOI":"10.14236\/ewic\/VECOS2007.7"},{"key":"8_CR17","unstructured":"Chamberlin, D., Dyck, M., Florescu, D., Melton, J., Robie, J., Simon, J.: W3C. XQuery Update Facility 1.0 (2009), http:\/\/www.w3.org\/TR\/2009\/CR-xquery-update-10-20090609\/"},{"key":"8_CR18","unstructured":"Walmsley, P., Fallside, D.C.: W3C. XML Schema Part 0: Primer Second Edition (2004), http:\/\/www.w3.org\/TR\/2004\/REC-xmlschema-0-20041028\/"}],"container-title":["Lecture Notes in Computer Science","Advances in Conceptual Modeling"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-33999-8_8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,26]],"date-time":"2023-06-26T03:29:36Z","timestamp":1687750176000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-33999-8_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642339981","9783642339998"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-33999-8_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}