The XML typechecking problem

SIGMOD Record

Volumn 31, Issue 1, 2002, Pages 89-96

  Suciu, Dan ^a  

^a UNIVERSITY OF WASHINGTON   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

PARSERS; TREE LANGUAGES; TYPECHECKING; VALIDATION PROBLEMS;

ALGORITHMS; COLOR; COMPUTER PROGRAMMING; DATA REDUCTION; PROBLEM SOLVING; QUERY LANGUAGES; SET THEORY; TREES (MATHEMATICS);

XML;

EID: 0042944937     PISSN: 01635808     EISSN: None     Source Type: Journal    
DOI: 10.1145/507338.507360     Document Type: Article

References (19)

1. [ABS99] S. Abiteboul, P. Buneman, and D. Suciu. Data on the Web: From Relations to Semistructured Data and XML. Morgan Kaufmann, 1999.
2. [AMN+01a] N. Alon, T. Milo, F. Neven, D. Suciu, and V. Vianu. Typechecking XML views of relational databases. In LICS, pages 421-430, 2001.
3. [AMN+01b] N. Alon, T. Milo, F. Neven, D. Suciu, and V. Vianu. XML with data values: Typechecking revisited. In PODS, pages 138-149, 2001.
4. [BKMW98] A. Bruggemann-Klein, M. Murata, and D. Wood. Regular tree languages over non-ranked alphabets, 1998. Available at ftp://ftp11.informatik. tu-muenchen.de/pub/misc/caterpillars/.
5. [BMN00] G. J. Bex, S. Maneth, and F. Neven. A formal model for an expressive fragment of XSLT. In Lloyd et al., editor. Computational Logic - CL 2000, volume 1861 of Lecture Notes in Artificial Intelligence, pages 1137-1151. Springer, 2000.
6. [Cla99] James Clark. XML path language (XPath), 1999. available from the W3C, http://www.w3.org/TR/xpath.
7. [FFM+01] P. Fankhauser, M. Fernandez, A. Malhotra, M. Rys, J. Simeon, and P. Wadler. XQuery 1.0 formal semantics, 2001. available from the W3C, http://www.w3.org/TR/query-semantics.
8. [FST00] M. Fernandez, D. Suciu, and W. Tan. SilkRoute: trading between relations and XML. In Proceedings of the WWW9, pages 723-746, Amsterdam, 2000.
9. [HP00] Haruo Hosoya and Benjamin C. Pierce. XDuce: An XML processing language (preliminary report). In WebDB'2000, pages 226-244, 2000. http://www.research.att.com/conf/webdb2000/.
10. [HVP00] Haruo Hosoya, Jerome Vouillon, and Benjamin C. Pierce. Regular expression types for XML. In Proceedings of ICFP, pages 11-22, 2000.
11. [MSV00] T. Milo, D. Suciu, and V. Vianu. Typechecking for XML transformers. In Proceedings of the ACM Symposium on Principles of Database Systems, pages 11-22, Dallas. TX, 2000.
12. [Per90] D. Perrin. Finite automata. In Formal Models and Semantics, volume B of Handbook of Theoretical Computer Science, chapter 1, pages 1-57. Elsevier, Amsterdam, 1990.
13. [PV00] Y. Papakonstantinou and V. Vianu. DTD inference for views of XML data. In Proceedings of PODS, pages 35-46, Dallas, TX, 2000.
14. [RS97] G. Rozenberg and A. Salomaa. Handbook of Formal Languages. Springer Verlag, 1997.
15. [Sei90] Helmut Seidl. Deciding equivalence of finite tree automata. SIAM J. Comput, 19(3):424-437. 1990.
16. +00] J. Shanmugasundaram, E. Shekita, R. Barr, M. Carey, B. Lindsay, H. Pirahesh, and B. Reinwald. Efficiently publishing relational data as xml documents. In Proceedings of VLDB, pages 65-76, Cairo, Egipt, September 2000.
17. [Suc01] D. Suciu. Typechecking for semistructured data. In Proceedings of the International Workshop on Database Programming Languages, Italy, September 2001. Springer Verlag, (to appear).
18. [Tho90] W. Thomas. Automata on infinite objects. In Formal Models and Semantics, volume B of Handbook of Theoretical Computer Science, chapter 4. pages 133-192. Elsevier, Amsterdam. 1990.
19. [Toz01] Akihiko Tozawa. Towards static type inference for xslt. In Proc. of ACM Symposium on Document Engineering, 2001.