{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T15:50:16Z","timestamp":1742399416439},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540212003"},{"type":"electronic","value":"9783540247418"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24741-8_37","type":"book-chapter","created":{"date-parts":[[2010,8,2]],"date-time":"2010-08-02T14:56:54Z","timestamp":1280761014000},"page":"639-657","source":"Crossref","is-referenced-by-count":7,"title":["Efficient Schema-Based Revalidation of XML"],"prefix":"10.1007","author":[{"given":"Mukund","family":"Raghavachari","sequence":"first","affiliation":[]},{"given":"Oded","family":"Shmueli","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"37_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1007\/978-3-540-24607-7_10","volume-title":"Database Programming Languages","author":"S. Alagic","year":"2004","unstructured":"Alagic, S., Briggs, D.: Semantics of objectified XML. In: Lausen, G., Suciu, D. (eds.) DBPL 2003. LNCS, vol.\u00a02921, pp. 147\u2013165. Springer, Heidelberg (2004)"},{"key":"37_CR2","unstructured":"Apache Software Foundation. Xerces2 Java Parser, http:\/\/xml.apache.org\/"},{"key":"37_CR3","unstructured":"Barbosa, D., Mendelzon, A., Libkin, L., Mignet, L., Arenas, M.: Efficent incremental validation of XML documents. In: Proceedings of ICDE (2004) (to appear)"},{"key":"37_CR4","doi-asserted-by":"crossref","unstructured":"Benzaken, V., Castagna, G., Frisch, A.: Cduce: an XML-centric general-purpose language. In: Proceedings of ICFP, pp. 51\u201363 (2003)","DOI":"10.1145\/944705.944711"},{"key":"37_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"216","DOI":"10.1007\/978-3-540-24607-7_14","volume-title":"Database Programming Languages","author":"B. Bouchou","year":"2004","unstructured":"Bouchou, B., Halfeld-Ferrari, M.: Updates and incremental validation of XML documents. In: Lausen, G., Suciu, D. (eds.) DBPL 2003. LNCS, vol.\u00a02921, pp. 216\u2013232. Springer, Heidelberg (2004)"},{"issue":"2","key":"37_CR6","doi-asserted-by":"publisher","first-page":"182","DOI":"10.1006\/inco.1997.2695","volume":"142","author":"A. Bruggemann-Klein","year":"1998","unstructured":"Bruggemann-Klein, A., Wood, D.: One-unambiguous regular languages. Information and Computation\u00a0142(2), 182\u2013206 (1998)","journal-title":"Information and Computation"},{"key":"37_CR7","volume-title":"Introduction to Algorithms","author":"T.H. Cormen","year":"1989","unstructured":"Cormen, T.H., Leiserson, C.E., Rivest, R.L.: Introduction to Algorithms. The MIT Press, Cambridge (1989)"},{"key":"37_CR8","unstructured":"Galax: An implementation of XQuery, http:\/\/db.bell-labs.com\/galax"},{"key":"37_CR9","doi-asserted-by":"crossref","unstructured":"Harren, M., Raghavachari, M., Shmueli, O., Burke, M., Sarkar, V., Bordawekar, R.: XJ: Integration of XML processing into Java. Technical Report RC23007, IBM T.J. Watson Research Center (2003) (submitted for publication)","DOI":"10.1145\/1013367.1013465"},{"key":"37_CR10","doi-asserted-by":"crossref","unstructured":"Hosoya, H., Pierce, B.C.: XDuce: A statically typed XML processing language. ACM Transactions on Internet Technology (2002)","DOI":"10.1007\/3-540-45271-0_15"},{"key":"37_CR11","doi-asserted-by":"crossref","unstructured":"Hosoya, H., Vouillon, J., Pierce, B.C.: Regular expression types for XML. In: Proceedings of ICFP (2000)","DOI":"10.1145\/351240.351242"},{"key":"37_CR12","doi-asserted-by":"crossref","unstructured":"Kane, B., Su, H., Rundensteiner, E.A.: Consistently updating XML documents using incremental constraint check queries. In: Proceedings of the Workshop on Web Information and Data Management (WIDM 2002), November 2002, pp. 1\u20138 (2002)","DOI":"10.1145\/584931.584934"},{"key":"37_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1007\/3-540-44503-X_21","volume-title":"Database Theory - ICDT 2001","author":"G. Kuper","year":"2000","unstructured":"Kuper, G., Sim\u00e9on, J.: Subsumption for XML types. In: Van den Bussche, J., Vianu, V. (eds.) ICDT 2001. LNCS, vol.\u00a01973, p. 331. Springer, Heidelberg (2000)"},{"key":"37_CR14","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1145\/335168.335171","volume-title":"Proceedings of PODS","author":"T. Milo","year":"2000","unstructured":"Milo, T., Suciu, D., Vianu, V.: Typechecking for XML transformers. In: Proceedings of PODS, pp. 11\u201322. ACM, New York (2000)"},{"key":"37_CR15","unstructured":"Murata, M., Lee, D., Mani, M.: Taxonomy of XML schema languages using formal language theory. In: Extreme Markup Languages, Montreal, Canada (2001)"},{"key":"37_CR16","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1145\/335168.335173","volume-title":"Proceedings of PODS","author":"Y. Papakonstantinou","year":"2000","unstructured":"Papakonstantinou, Y., Vianu, V.: DTD inference for views of XML data. In: Proceedings of PODS, pp. 35\u201346. ACM, New York (2000)"},{"key":"37_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1007\/3-540-36285-1_4","volume-title":"Database Theory - ICDT 2003","author":"Y. Papakonstantinou","year":"2002","unstructured":"Papakonstantinou, Y., Vianu, V.: Incremental validation of XML documents. In: Calvanese, D., Lenzerini, M., Motwani, R. (eds.) ICDT 2003. LNCS, vol.\u00a02572, pp. 47\u201363. Springer, Heidelberg (2002)"},{"key":"37_CR18","first-page":"1","volume-title":"Proceedings of POPL","author":"J. Sim\u00e9on","year":"2003","unstructured":"Sim\u00e9on, J., Wadler, P.: The essence of XML. In: Proceedings of POPL, January 2003, pp. 1\u201313. ACM Press, New York (2003)"},{"key":"37_CR19","unstructured":"World Wide Web Consortium. Document Object Model Level 2 Core (November 2000)"},{"key":"37_CR20","unstructured":"World Wide Web Consortium. XQuery 1.0: An XML Query Language (November 2000)"},{"key":"37_CR21","unstructured":"World Wide Web Consortium. XML Schema, Parts 0,1, and 2 (May 2001)"}],"container-title":["Lecture Notes in Computer Science","Advances in Database Technology - EDBT 2004"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24741-8_37","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T03:16:34Z","timestamp":1559358994000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24741-8_37"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540212003","9783540247418"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24741-8_37","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}