Typechecking for XML transformers

Journal of Computer and System Sciences

Volumn 66, Issue 1, 2003, Pages 66-97

  Milo, Tova ^a   Suciu, Dan ^b   Vianu, Victor ^c  

^a TEL AVIV UNIVERSITY   (Israel)

^b University of Washington   (United States)

^c UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DATA REDUCTION; ITERATIVE METHODS; PROBLEM SOLVING; RELATIONAL DATABASE SYSTEMS; XML;

TYPECHECKING;

QUERY LANGUAGES;

EID: 0038266967     PISSN: 00220000     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0022-0000(02)00030-2     Document Type: Article

References (37)

1. 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.
2. A. Aho, J. Ullman, Translations on a context free grammar. Inform. Control 19 (19) (1971) 439-475.
3. D. Beech, S. Lawrence, M. Maloney, N. Mendelsohn, H. Thompson, Xml schema part 1: structures, May 1999, http://www.w3.org/TR/xmlschema-l.
4. 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.
5. C. Beeri, Y. Tzaban, SAL: an algebra for semistructured data and XML, in: Proceedings of WebDB, Philadelphia, PA, June 1999.
6. 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.
7. P. Biron, A. Malhotra, Xml schema part 2: datatypes, May 1999, http://www.w3.org/TR/xmlschema-2/.
8. A. Bruggemann-Klein, M. Murata, D. Wood, Regular tree languages over non-ranked alphabets, 1998, available at ftp://ftpl 1 .informatik.tu-muenchen.de/pub/misc/caterpillars/.
9. 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.
10. A. Chandra, D. Kozen, L. Stockmeyer, Alternation, J. ACM 28 (1981) 114-133.
11. J. Clark, XML path language (XPath), 1999, available from the W3C, http://www.w3.org/TR/xpath.
12. J. Clark, XSL transformations (XSLT) specification, 1999, available from the W3C, http://www.w3.org/TR/WD- xslt.
13. J. Clark, M. Makoto, Relax ng specification, 2001, available from http://www.oasis-open.org/committees/ relax-ng/.
14. S. Cluet, C. Delobel, J. Simeon, K. Smaga, Your mediators need data conversion! in: Proceedings of ACMSIGMOD International Conference on Management of Data, Seattle, WA, 1998, pp. 177-188.
15. 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.
16. J. Engelfriet, H. Hoogenboom, J.V. Best, Trips on trees, Acta Cybernet. 14 (1999) 51-64.
17. 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.
18. M. Fernandez, D. Florescu, J. Kang, A. Levy, D. Suciu, Catching the boat with Strudel: experience with a Website management system, in: Proceedings of ACM-SIGMOD International Conference on Management of Data, Seattle, WA, 1998, pp. 414-425.
19. M. Fernandez, D. Suciu, W. Tan, Silk Route: trading between relations and XML, in: Proceedings of the WWW9, Amsterdam, 2000, pp. 723-746.
20. H. Garcia-Molina, Y. Papakonstantinou, D. Quass, A. Rajaraman, Y. Sagiv, J. Ullman, J. Widom, The TSIMMIS project: integration of heterogeneous information sources. J. Intell. Inform. Systems 8 (2) (1997) 117-132.
21. N. Globerman, D. Harel, Complexity results for multi-pebble automata and their logics, in: Proceedings of ICALP. Jerusalem, Israel, 1994, pp. 73-82.
22. R. Greenlaw, H. Hoover, W.L. Ruzzo, Limits to Parallel Computation, P-Completeness Theory, Oxford University Press, New York, Oxford, 1995.
23. 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/.
24. H. Hosoya, J. Vouillon, B.C. Pierce, Regular expression types for XML, in: Proceedings of ICFP, 2000, pp. 11-22.
25. B. Ludaescher, Y. Papakonstantinou, P. Velikhov, V. Vianu, View definition and dtd inference for xml, in: Workshop on Semisiructured Data and Nonstandard Data Formats, Jerusalem, Israel, January 1999.
26. S. Maneth, F. Neven, Structured document transformations based on xsl, in: Proceedings of the Eighth International Workshop on Database Programming Languages, Scotland, 1999.
27. J. McHugh, J. Widom, Query optimization for XML, in: Proceedings of VLDB, Edinburgh, UK, September 1999, pp. 315-326.
28. 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.
29. F. Neven, T. Schwentick, Query automata, in: Symposium on Principles of Database Systems, Philadelphia, PA. 1999, pp. 205-214.
30. 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.
31. Y. Papakonstantinou, P. Velikhov, Enhancing semistructured data mediators with document type definitions, in: International Conference on Data Engineering, Sydney, Australia, 1999.
32. Y. Papakonstantinou, V. Vianu, DTD inference for views of XML data, in: Proceedings of PODS, Dallas, TX, 2000, pp. 35-46.
33. J. Robie, The design of xql, 1999, http://www.texcel.no/whitepapers/xql-design.html.
34. G. Rozenberg, A. Salomaa, Handbook of Formal Languages, Springer, Berlin, 1997.
35. T. Schwentick, Personal communication, 2000.
36. L. Stockmeier, The complexity of decision problems in automata theory and logic, Ph.D. Thesis, Massachusetts Institute of Technology, 1974.
37. 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).