Typechecking for XML transformers

Journal of Computer and System Sciences - Tập 66 - Trang 66-97 - 2003
Tova Milo1, Dan Suciu2, Victor Vianu3
1Computer Science Department, Tel Aviv University, Ramat Aviv, Tel Aviv 69978, Israel
2Department of Computer Science, University of Washington, 114 Sieg Hall, Box 352350, Seattle, WA 98195, USA
3University of California at San Diego, 9500 Gilman Dr., La Jolla, CA 92093, USA

Tài liệu tham khảo

S. Abiteboul, V. Vianu, Regular path queries with constraints, in: Proceedings of ACM Symposium on Principles of Database Systems, Tucson, AZ, 1997, pp. 122–133.

Aho, 1971, Translations on a context free grammar, Inform. Control, 19, 439, 10.1016/S0019-9958(71)90706-6

D. Beech, S. Lawrence, M. Maloney, N. Mendelsohn, H. Thompson, Xml schema part 1: structures, May 1999, http://www.w3.org/TR/xmlschema-1.

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–313.

C. Beeri, Y. Tzaban, SAL: an algebra for semistructured data and XML, in: Proceedings of WebDB, Philadelphia, PA, June 1999.

G.J. Bex, S. Maneth, F. Neven, A formal model for an expressive fragment of XSLT, in: L. et al. (Eds.), Computational Logic—CL 2000, Lecture Notes in Artificial Intelligence, Vol. 1861, Springer, Berlin, 2000, pp. 1137–1151.

P. Biron, A. Malhotra, Xml schema part 2: datatypes, May 1999, http://www.w3.org/TR/xmlschema-2/.

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/.

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–516.

Chandra, 1981, Alternation, J. ACM, 28, 114, 10.1145/322234.322243

J. Clark, XML path language (XPath), 1999, available from the W3C, http://www.w3.org/TR/xpath.

J. Clark, XSL transformations (XSLT) specification, 1999, available from the W3C, http://www.w3.org/TR/WD-xslt.

J. Clark, M. Makoto, Relax ng specification, 2001, available from http://www.oasis-open.org/committees/relax-ng/.

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–188.

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–91.

Engelfriet, 1999, Trips on trees, Acta Cybernet., 14, 51

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.

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–425.

M. Fernandez, D. Suciu, W. Tan, SilkRoute: trading between relations and XML, in: Proceedings of the WWW9, Amsterdam, 2000, pp. 723–746.

Garcia-Molina, 1997, The TSIMMIS project, J. Intell. Inform. Systems, 8, 117, 10.1023/A:1008683107812

N. Globerman, D. Harel, Complexity results for multi-pebble automata and their logics, in: Proceedings of ICALP, Jerusalem, Israel, 1994, pp. 73–82.

Greenlaw, 1995

H. Hosoya, B.C. Pierce, XDuce: an XML processing language (preliminary report), in: WebDB, 2000, Dallas, TX, 2000, pp. 226–244, http://www.research.att.com/conf/webdb2000/.

H. Hosoya, J. Vouillon, B.C. Pierce, Regular expression types for XML, in: Proceedings of ICFP, 2000, pp. 11–22.

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.

S. Maneth, F. Neven, Structured document transformations based on xsl, in: Proceedings of the Eighth International Workshop on Database Programming Languages, Scotland, 1999.

J. McHugh, J. Widom, Query optimization for XML, in: Proceedings of VLDB, Edinburgh, UK, September 1999, pp. 315–326.

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–226.

F. Neven, T. Schwentick, Query automata, in: Symposium on Principles of Database Systems, Philadelphia, PA, 1999, pp. 205–214.

Y. Papakonstantinou, H. Garcia-Molina, J. Widom, Object exchange across heterogeneous information sources, in: IEEE International Conference on Data Engineering, March 1995, pp. 251–260.

Y. Papakonstantinou, P. Velikhov, Enhancing semistructured data mediators with document type definitions, in: International Conference on Data Engineering, Sydney, Australia, 1999.

Y. Papakonstantinou, V. Vianu, DTD inference for views of XML data, in: Proceedings of PODS, Dallas, TX, 2000, pp. 35–46.

J. Robie, The design of xql, 1999, http://www.texcel.no/whitepapers/xql-design.html.

Rozenberg, 1997

T. Schwentick, Personal communication, 2000.

L. Stockmeier, The complexity of decision problems in automata theory and logic, Ph.D. Thesis, Massachusetts Institute of Technology, 1974.

W. Thomas, Automata on infinite objects, in: Formal Models and Semantics, volume B of Handbook of Theoretical Computer Science, Elsevier, Amsterdam, 1990, pp. 133–192 (Vol. B, Chapter 4).

Thông tin
Thông tin xuất bản

Journal of Computer and System Sciences

Tập 66

66-97

Thông tin tác giả