{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T03:10:40Z","timestamp":1761621040811},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540208969"},{"type":"electronic","value":"9783540246077"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24607-7_14","type":"book-chapter","created":{"date-parts":[[2010,7,29]],"date-time":"2010-07-29T04:16:11Z","timestamp":1280376971000},"page":"216-232","source":"Crossref","is-referenced-by-count":16,"title":["Updates and Incremental Validation of XML Documents"],"prefix":"10.1007","author":[{"given":"B\u00e9atrice","family":"Bouchou","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M\u00edrian Halfeld Ferrari","family":"Alves","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"14_CR1","unstructured":"XML editor products, Available at http:\/\/www.perferctxml.com\/soft.asp?cat=6"},{"key":"14_CR2","unstructured":"XML query working group, Available at http:\/\/www.w3.org\/XML\/Query"},{"key":"14_CR3","unstructured":"XUpdate - XML:DB Working draft, Available at http:\/\/www.xmldb.org\/xupdate\/xupdatewd.html"},{"key":"14_CR4","doi-asserted-by":"crossref","unstructured":"Alon, N., Milo, T., Neven, F., Suciu, D., Vianu, V.: XML with data values: Typechecking revisited. In: ACM Symposium on Principles of Database System (2001)","DOI":"10.1145\/375551.375570"},{"key":"14_CR5","unstructured":"Bouchou, B., Duarte, D., Halfeld Ferrari Alves, M., Laurent, D.: Extending tree automata to model XML validation under element and attribute constraints. In: ICEIS (2003)"},{"key":"14_CR6","unstructured":"Bouchou, B., Halfeld Ferrari Alves, M., Musicante, M.A.: Tree automata to verify key constraints. In: Web and Databases (WebDB), San Diego, CA, USA (June 2003)"},{"key":"14_CR7","unstructured":"Braganholo, V.P., Davidson, S.B., Heuser, C.A.: On the updatability of XML views over relational databases. In: Web and Databases (WebDB), San Diego, CA, USA (June 2003)"},{"key":"14_CR8","doi-asserted-by":"crossref","unstructured":"van den Brand, M.G.J., Heering, J., Klint, P., Olivier, P.A.: Compiling rewrite systems: The ASF+SDF compiler. ACM, Transactions on Programming Languages and Systems\u00a024 (2002)","DOI":"10.1145\/567097.567099"},{"issue":"2","key":"14_CR9","doi-asserted-by":"publisher","first-page":"182","DOI":"10.1006\/inco.1997.2695","volume":"142","author":"A. Br\u00fcggeman-Klein","year":"1998","unstructured":"Br\u00fcggeman-Klein, A., Wood, D.: One-unambiguous regular languages. Information and Computation\u00a0142(2), 182\u2013206 (1998)","journal-title":"Information and Computation"},{"key":"14_CR10","doi-asserted-by":"crossref","unstructured":"Buneman, P., Davidson, S., Fan, W., Hara, C., Tan, W.C.: Keys for XML. In: WWW10 (May 2-5, 2001)","DOI":"10.1145\/371920.371984"},{"key":"14_CR11","doi-asserted-by":"crossref","unstructured":"Chidlovskii, B.: Using regular tree automata as XML schemas. In: Proc. IEEE Advances in Digital Libraries Conference (May 2000)","DOI":"10.1109\/ADL.2000.848373"},{"key":"14_CR12","doi-asserted-by":"crossref","unstructured":"Cobena, G., Abiteboul, S., Marian, A.: Detecting changes in XML documents. Data Engineering (2002)","DOI":"10.1109\/ICDE.2002.994696"},{"key":"14_CR13","doi-asserted-by":"crossref","unstructured":"Kane, B., Su, H., Rundensteiner, E.A.: Consistently updating XML documents using incremental constraint check queries. In: Proceedings of WIDM 2002 (2002)","DOI":"10.1145\/584931.584934"},{"key":"14_CR14","doi-asserted-by":"crossref","unstructured":"Milo, T., Suciu, D., Vianu, V.: Typechecking for XML transformers. In: ACM Symposium on Principles of Database System, pp. 11\u201322 (2000)","DOI":"10.1145\/335168.335171"},{"key":"14_CR15","doi-asserted-by":"crossref","unstructured":"Neven, F.: Automata, logic and XML. In: CSL 2002 - Annual Conference of the European Association for Computer Science Logic (2002) (invited talk)","DOI":"10.1007\/3-540-45793-3_2"},{"key":"14_CR16","doi-asserted-by":"crossref","unstructured":"Papakonstantinou, Y., Vianu, V.: DTD inference for views of XML data. In: ACM Symposium on Principles of Database System, pp. 35\u201346 (2000)","DOI":"10.1145\/335168.335173"},{"key":"14_CR17","doi-asserted-by":"crossref","unstructured":"Papakonstantinou, Y., Vianu, V.: Incremental validation of XML documents. In: Proceedings of the International Conference on Database Theory, ICDT (2003)","DOI":"10.1007\/3-540-36285-1_4"},{"key":"14_CR18","doi-asserted-by":"crossref","unstructured":"Suciu, D.: On database theory and XML. SIGMOD Record\u00a030(3) (2001)","DOI":"10.1145\/603867.603874"},{"key":"14_CR19","doi-asserted-by":"crossref","unstructured":"Tai, K.-C.: The tree-to-tree correction problem. Journal of the Association for Computing Machinery\u00a026(3) (1979)","DOI":"10.1145\/322139.322143"},{"key":"14_CR20","volume-title":"ACM SIGMOD","author":"I. Tatarinov","year":"2001","unstructured":"Tatarinov, I., Ives, Z.G., Halevy, A.Y., Weld, D.S.: Updating XML. In: ACM SIGMOD. ACM, New York (2001)"},{"key":"14_CR21","volume-title":"Handbook of Theoretical Computer Science","author":"W. Thomas","year":"1990","unstructured":"Thomas, W.: Automata of infinite objects. In: Van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science. Elsevier, Amsterdam (1990)"}],"container-title":["Lecture Notes in Computer Science","Database Programming Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24607-7_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,31]],"date-time":"2019-05-31T19:48:34Z","timestamp":1559332114000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24607-7_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540208969","9783540246077"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24607-7_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}