{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T16:56:38Z","timestamp":1759683398597},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540229698"},{"type":"electronic","value":"9783540300816"}],"license":[{"start":{"date-parts":[[2004,1,1]],"date-time":"2004-01-01T00:00:00Z","timestamp":1072915200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30081-6_9","type":"book-chapter","created":{"date-parts":[[2010,9,16]],"date-time":"2010-09-16T12:24:54Z","timestamp":1284639894000},"page":"112-127","source":"Crossref","is-referenced-by-count":6,"title":["Incremental Constraint Checking for XML Documents"],"prefix":"10.1007","author":[{"given":"Maria Adriana","family":"Abr\u00e3o","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"B\u00e9atrice","family":"Bouchou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M\u00edrian Halfeld","family":"Ferrari","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dominique","family":"Laurent","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin A.","family":"Musicante","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","unstructured":"Abrao, M.A., Bouchou, B., Halfeld-Ferrari, M., Laurent, D., Musicante, M.A.: Update validation for XML in the presence of schema, key and foreign key constraints. Technical report, Universit\u00e9 Fran\u00e7ois Rabelais Blois-Tours-Chinon (2004) (to appear)"},{"key":"9_CR2","doi-asserted-by":"crossref","unstructured":"Arenas, M., Fan, W., Libkin, L.: On verifying consistency of XML specifications. In: ACM Symposium on Principles of Database System (2002)","DOI":"10.1145\/543613.543647"},{"key":"9_CR3","unstructured":"Benedikt, M., Bruns, G., Gibson, J., Kuss, R., Ng, A.: Automated update management for XML integrity constraints. In: Programming Language Technologies for XML, PLANX 2002 (2002)"},{"key":"9_CR4","doi-asserted-by":"crossref","unstructured":"Benedikt, M., Chan, C.-Y., Fan, W., Freire, J., Rastogi, R.: Capturing both types and constraints in data integration. In: SIGMOD, San Diego, CA, ACM Press (ed.) (2003)","DOI":"10.1145\/872791.872792"},{"key":"9_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":"2003","unstructured":"B. Bouchou and M. Halfeld Ferrari Alves. Updates and incremental validation of XML documents. In Springer, editor, The 9th International Workshop on Database Programming Languages (DBPL), number 2921 in LNCS, 2003."},{"key":"9_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":"9_CR7","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"},{"key":"9_CR8","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":"9_CR9","doi-asserted-by":"crossref","unstructured":"Chen, Y., Davidson, S.B., Zheng, Y.: XKvalidator: a constraint validator for XML. In: Proceedings of the 11th International Conference on Information and Knowledge Management, pp. 446\u2013452, ACM Press (ed.) (2002)","DOI":"10.1145\/584792.584866"},{"key":"9_CR10","unstructured":"Chidlovskii, B.: Using regular tree automata as XML schemas. In: Proc. IEEE Advances in Digital Libraries Conference (May 2000)"},{"issue":"3","key":"9_CR11","doi-asserted-by":"publisher","first-page":"368","DOI":"10.1145\/567112.567117","volume":"49","author":"W. Fan","year":"2002","unstructured":"Fan, W., Libkin, L.: On XML integrity constraints in the presence of DTDs. Journal of the ACM\u00a049(3), 368\u2013406 (2002)","journal-title":"Journal of the ACM"},{"key":"9_CR12","unstructured":"Gargi, G.M., Hammer, J., Simeon, J.: An XQuery-based language for processing updates in XML. In: Programming Language Technologies for XML, PLANX 2004 (2004)"},{"key":"9_CR13","volume-title":"Introduction to Automata Theory Languages and Computation","author":"J.E. Hopcroft","year":"2001","unstructured":"Hopcroft, J.E., Motwani, R., Ullman, J.D.: Introduction to Automata Theory Languages and Computation, 2nd edn. Addison-Wesley Publishing Company, Reading (2001)","edition":"2"},{"key":"9_CR14","unstructured":"Means, W.S., Bodie, M.A.: The Book of SAX: The Simple API for XML. No Starch Press (2002)"},{"key":"9_CR15","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":"9_CR16","unstructured":"Murata, M., Lee, D., Mani, M.: Taxonomy of XML schema language using formal language theory. Extreme Markup Language, Montreal, Canada (2001)"},{"key":"9_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":"2003","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 (2003)"},{"key":"9_CR18","doi-asserted-by":"crossref","unstructured":"Segoufin, L., Vianu, V.: Validating streaming XML documents. In: ACM Symposium on Principles of Database System (2002)","DOI":"10.1145\/543613.543622"},{"key":"9_CR19","unstructured":"Wood, L., Le Hors, A., Apparao, V., Byrne, S., Champion, M., Issacs, S., Jacobs, I., Nicol, G., Robie, J., Sutor, R., Wilson, C.: Document Object Model (DOM) Level 1 Specification. W3C Recommendation (2000), \n                    \n                      http:\/\/www.w3.org\/XML"}],"container-title":["Lecture Notes in Computer Science","Database and XML Technologies"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30081-6_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T18:35:16Z","timestamp":1558290916000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30081-6_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540229698","9783540300816"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30081-6_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}