{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T17:08:06Z","timestamp":1760202486817},"reference-count":37,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[2003,2,1]],"date-time":"2003-02-01T00:00:00Z","timestamp":1044057600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,8,22]],"date-time":"2013-08-22T00:00:00Z","timestamp":1377129600000},"content-version":"vor","delay-in-days":3855,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Computer and System Sciences"],"published-print":{"date-parts":[[2003,2]]},"DOI":"10.1016\/s0022-0000(02)00030-2","type":"journal-article","created":{"date-parts":[[2003,4,5]],"date-time":"2003-04-05T01:27:43Z","timestamp":1049506063000},"page":"66-97","source":"Crossref","is-referenced-by-count":101,"title":["Typechecking for XML transformers"],"prefix":"10.1016","volume":"66","author":[{"given":"Tova","family":"Milo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dan","family":"Suciu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Victor","family":"Vianu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S0022-0000(02)00030-2_BIB1","doi-asserted-by":"crossref","unstructured":"S. Abiteboul, V. Vianu, Regular path queries with constraints, in: Proceedings of ACM Symposium on Principles of Database Systems, Tucson, AZ, 1997, pp. 122\u2013133.","DOI":"10.1145\/263661.263676"},{"issue":"19","key":"10.1016\/S0022-0000(02)00030-2_BIB2","doi-asserted-by":"crossref","first-page":"439","DOI":"10.1016\/S0019-9958(71)90706-6","article-title":"Translations on a context free grammar","volume":"19","author":"Aho","year":"1971","journal-title":"Inform. Control"},{"key":"10.1016\/S0022-0000(02)00030-2_BIB3","unstructured":"D. Beech, S. Lawrence, M. Maloney, N. Mendelsohn, H. Thompson, Xml schema part 1: structures, May 1999, http:\/\/www.w3.org\/TR\/xmlschema-1."},{"key":"10.1016\/S0022-0000(02)00030-2_BIB4","doi-asserted-by":"crossref","unstructured":"C. Beeri, T. Milo, Schemas for integration and translation of structured and semi-structured data, in: Proceedings of the International Conference on Database Theory, Jerusalem, Israel, 1999, pp. 296\u2013313.","DOI":"10.1007\/3-540-49257-7_19"},{"key":"10.1016\/S0022-0000(02)00030-2_BIB5","unstructured":"C. Beeri, Y. Tzaban, SAL: an algebra for semistructured data and XML, in: Proceedings of WebDB, Philadelphia, PA, June 1999."},{"key":"10.1016\/S0022-0000(02)00030-2_BIB6","doi-asserted-by":"crossref","unstructured":"G.J. Bex, S. Maneth, F. Neven, A formal model for an expressive fragment of XSLT, in: L. et al. (Eds.), Computational Logic\u2014CL 2000, Lecture Notes in Artificial Intelligence, Vol. 1861, Springer, Berlin, 2000, pp. 1137\u20131151.","DOI":"10.1007\/3-540-44957-4_76"},{"key":"10.1016\/S0022-0000(02)00030-2_BIB7","unstructured":"P. Biron, A. Malhotra, Xml schema part 2: datatypes, May 1999, http:\/\/www.w3.org\/TR\/xmlschema-2\/."},{"key":"10.1016\/S0022-0000(02)00030-2_BIB8","unstructured":"A. Bruggemann-Klein, M. Murata, D. Wood, Regular tree languages over non-ranked alphabets, 1998, available at ftp:\/\/ftp11.informatik.tu-muenchen.de\/pub\/misc\/caterpillars\/."},{"key":"10.1016\/S0022-0000(02)00030-2_BIB9","doi-asserted-by":"crossref","unstructured":"P. Buneman, S. Davidson, G. Hillebrand, D. Suciu, A query language and optimization techniques for unstructured data, in: Proceedings of ACM-SIGMOD International Conference on Management of Data, Montreal, Canada, 1996, pp. 505\u2013516.","DOI":"10.1145\/233269.233368"},{"key":"10.1016\/S0022-0000(02)00030-2_BIB10","doi-asserted-by":"crossref","first-page":"114","DOI":"10.1145\/322234.322243","article-title":"Alternation","volume":"28","author":"Chandra","year":"1981","journal-title":"J. ACM"},{"key":"10.1016\/S0022-0000(02)00030-2_BIB11","unstructured":"J. Clark, XML path language (XPath), 1999, available from the W3C, http:\/\/www.w3.org\/TR\/xpath."},{"key":"10.1016\/S0022-0000(02)00030-2_BIB12","unstructured":"J. Clark, XSL transformations (XSLT) specification, 1999, available from the W3C, http:\/\/www.w3.org\/TR\/WD-xslt."},{"key":"10.1016\/S0022-0000(02)00030-2_BIB13","unstructured":"J. Clark, M. Makoto, Relax ng specification, 2001, available from http:\/\/www.oasis-open.org\/committees\/relax-ng\/."},{"key":"10.1016\/S0022-0000(02)00030-2_BIB14","doi-asserted-by":"crossref","unstructured":"S. Cluet, C. Delobel, J. Simeon, K. Smaga, Your mediators need data conversion! in: Proceedings of ACM-SIGMOD International Conference on Management of Data, Seattle, WA, 1998, pp. 177\u2013188.","DOI":"10.1145\/276304.276321"},{"key":"10.1016\/S0022-0000(02)00030-2_BIB15","doi-asserted-by":"crossref","unstructured":"A. Deutsch, M. Fernandez, D. Florescu, A. Levy, D. Suciu, A query language for XML, in: Proceedings of the Eights International World Wide Web Conference (WWW8), Toronto, 1999, pp. 77\u201391.","DOI":"10.1016\/S1389-1286(99)00020-1"},{"key":"10.1016\/S0022-0000(02)00030-2_BIB16","first-page":"51","article-title":"Trips on trees","volume":"14","author":"Engelfriet","year":"1999","journal-title":"Acta Cybernet."},{"key":"10.1016\/S0022-0000(02)00030-2_BIB17","doi-asserted-by":"crossref","unstructured":"P. Fankhauser, M. Fernandez, A. Malhotra, M. Rys, J. Simeon, P. Wadler, XQuery 1.0 formal semantics, 2001, available from the W3C, http:\/\/www.w3.org\/TR\/query-semantics.","DOI":"10.1145\/603867.603870"},{"key":"10.1016\/S0022-0000(02)00030-2_BIB18","doi-asserted-by":"crossref","unstructured":"M. Fernandez, D. Florescu, J. Kang, A. Levy, D. Suciu, Catching the boat with Strudel: experience with a Web-site management system, in: Proceedings of ACM-SIGMOD International Conference on Management of Data, Seattle, WA, 1998, pp. 414\u2013425.","DOI":"10.1145\/276304.276341"},{"key":"10.1016\/S0022-0000(02)00030-2_BIB19","doi-asserted-by":"crossref","unstructured":"M. Fernandez, D. Suciu, W. Tan, SilkRoute: trading between relations and XML, in: Proceedings of the WWW9, Amsterdam, 2000, pp. 723\u2013746.","DOI":"10.1016\/S1389-1286(00)00061-X"},{"issue":"2","key":"10.1016\/S0022-0000(02)00030-2_BIB20","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1023\/A:1008683107812","article-title":"The TSIMMIS project","volume":"8","author":"Garcia-Molina","year":"1997","journal-title":"J. Intell. Inform. Systems"},{"key":"10.1016\/S0022-0000(02)00030-2_BIB21","doi-asserted-by":"crossref","unstructured":"N. Globerman, D. Harel, Complexity results for multi-pebble automata and their logics, in: Proceedings of ICALP, Jerusalem, Israel, 1994, pp. 73\u201382.","DOI":"10.1007\/3-540-58201-0_59"},{"key":"10.1016\/S0022-0000(02)00030-2_BIB22","series-title":"Limits to Parallel Computation, P-Completeness Theory","author":"Greenlaw","year":"1995"},{"key":"10.1016\/S0022-0000(02)00030-2_BIB23","doi-asserted-by":"crossref","unstructured":"H. Hosoya, B.C. Pierce, XDuce: an XML processing language (preliminary report), in: WebDB, 2000, Dallas, TX, 2000, pp. 226\u2013244, http:\/\/www.research.att.com\/conf\/webdb2000\/.","DOI":"10.1007\/3-540-45271-0_15"},{"key":"10.1016\/S0022-0000(02)00030-2_BIB24","doi-asserted-by":"crossref","unstructured":"H. Hosoya, J. Vouillon, B.C. Pierce, Regular expression types for XML, in: Proceedings of ICFP, 2000, pp. 11\u201322.","DOI":"10.1145\/351240.351242"},{"key":"10.1016\/S0022-0000(02)00030-2_BIB25","unstructured":"B. Ludaescher, Y. Papakonstantinou, P. Velikhov, V. Vianu, View definition and dtd inference for xml, in: Workshop on Semistructured Data and Nonstandard Data Formats, Jerusalem, Israel, January 1999."},{"key":"10.1016\/S0022-0000(02)00030-2_BIB26","doi-asserted-by":"crossref","unstructured":"S. Maneth, F. Neven, Structured document transformations based on xsl, in: Proceedings of the Eighth International Workshop on Database Programming Languages, Scotland, 1999.","DOI":"10.1007\/3-540-44543-9_6"},{"key":"10.1016\/S0022-0000(02)00030-2_BIB27","unstructured":"J. McHugh, J. Widom, Query optimization for XML, in: Proceedings of VLDB, Edinburgh, UK, September 1999, pp. 315\u2013326."},{"key":"10.1016\/S0022-0000(02)00030-2_BIB28","doi-asserted-by":"crossref","unstructured":"T. Milo, D. Suciu, Type inference for queries on semistructured data, in: Proceedings of the ACM Symposium on Principles of Database Systems, Philadelphia, PA, 1999, pp. 215\u2013226.","DOI":"10.1145\/303976.303998"},{"key":"10.1016\/S0022-0000(02)00030-2_BIB29","doi-asserted-by":"crossref","unstructured":"F. Neven, T. Schwentick, Query automata, in: Symposium on Principles of Database Systems, Philadelphia, PA, 1999, pp. 205\u2013214.","DOI":"10.1145\/303976.303997"},{"key":"10.1016\/S0022-0000(02)00030-2_BIB30","doi-asserted-by":"crossref","unstructured":"Y. Papakonstantinou, H. Garcia-Molina, J. Widom, Object exchange across heterogeneous information sources, in: IEEE International Conference on Data Engineering, March 1995, pp. 251\u2013260.","DOI":"10.1109\/ICDE.1995.380386"},{"key":"10.1016\/S0022-0000(02)00030-2_BIB31","doi-asserted-by":"crossref","unstructured":"Y. Papakonstantinou, P. Velikhov, Enhancing semistructured data mediators with document type definitions, in: International Conference on Data Engineering, Sydney, Australia, 1999.","DOI":"10.1109\/ICDE.1999.754916"},{"key":"10.1016\/S0022-0000(02)00030-2_BIB32","doi-asserted-by":"crossref","unstructured":"Y. Papakonstantinou, V. Vianu, DTD inference for views of XML data, in: Proceedings of PODS, Dallas, TX, 2000, pp. 35\u201346.","DOI":"10.1145\/335168.335173"},{"key":"10.1016\/S0022-0000(02)00030-2_BIB33","unstructured":"J. Robie, The design of xql, 1999, http:\/\/www.texcel.no\/whitepapers\/xql-design.html."},{"key":"10.1016\/S0022-0000(02)00030-2_BIB34","series-title":"Handbook of Formal Languages","author":"Rozenberg","year":"1997"},{"key":"10.1016\/S0022-0000(02)00030-2_BIB35","doi-asserted-by":"crossref","unstructured":"T. Schwentick, Personal communication, 2000.","DOI":"10.1007\/3-540-44612-5_61"},{"key":"10.1016\/S0022-0000(02)00030-2_BIB36","unstructured":"L. Stockmeier, The complexity of decision problems in automata theory and logic, Ph.D. Thesis, Massachusetts Institute of Technology, 1974."},{"key":"10.1016\/S0022-0000(02)00030-2_BIB37","doi-asserted-by":"crossref","unstructured":"W. Thomas, Automata on infinite objects, in: Formal Models and Semantics, volume B of Handbook of Theoretical Computer Science, Elsevier, Amsterdam, 1990, pp. 133\u2013192 (Vol. B, Chapter 4).","DOI":"10.1016\/B978-0-444-88074-1.50009-3"}],"container-title":["Journal of Computer and System Sciences"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0022000002000302?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0022000002000302?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,3,17]],"date-time":"2020-03-17T17:07:15Z","timestamp":1584464835000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0022000002000302"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,2]]},"references-count":37,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2003,2]]}},"alternative-id":["S0022000002000302"],"URL":"https:\/\/doi.org\/10.1016\/s0022-0000(02)00030-2","relation":{},"ISSN":["0022-0000"],"issn-type":[{"value":"0022-0000","type":"print"}],"subject":[],"published":{"date-parts":[[2003,2]]}}}