XML type checking with macro tree transducers

Proceedings of the ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems

Volumn , Issue , 2005, Pages 283-294

  Maneth, S ^a   Berlea, A ^b   Perst, T ^b   Seidl, H ^b  

^a EPFL   (Switzerland)

^b TECHNICAL UNIVERSITY OF MUNICH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

QUERY LANGUAGES; TRANSDUCERS;

DTL; TREE TRANSDUCERS; XML QUERY LANGUAGES;

XML;

EID: 33244476060     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1065167.1065203     Document Type: Conference Paper

References (34)

1. S. Abiteboul, P. Buneman, and D. Suciu. Data on the Web. Morgan Kaufmann, 2000.
2. V. Benzaken, G. Castagna, and A. Frisch. CDuce: An XML-Centric General-Purpose Language. In Proc. ICFP'03, pages 51-63. ACM Press, 2003.
3. A. Berglund and S. Boag et.al., editors. XML Path Language (XPath) 2.0. W3C Working Draft, World Wide Web Consortium, November 2003. Available online http://www.w3.org/TR/xpath20.
4. A. Berlea and H. Seidl. fxt - A Transformation Language for XML Documents. Journal of Computing and Information Technology, 10(1): 19-35, 2002.
5. R. Bloem and J. Engelfriet. Monadic Second Order Logic and Node Relations on Graphs and Trees, pages 144-161. LNCS 1261, Springer-Verlag, 1997.
6. S. Boag and D. Chamberlin et.al., editors. XQuery 1.0: An XML Query Language. W3C Working Draft, World Wide Web Consortium, November 2003. Available online http://www.w3.org/TR/xquery/.
7. J. Clark and S. DeRose, editors. XML Path Language (XPath) 1.0. W3C Recommendation, World Wide Web Consortium, November 1999. Available online http://www.w3.org/TR/xpath.
8. J. Clark and M. Murata et al. RelaxNG Specification. OASIS. Available online http://www.oasis-open.org/committees/relax-ng.
9. J. Clark, editor. XSL Transformations (XSLT) 1.0. W3C Recommendation, World Wide Web Consortium, November 1999. Available online http://www.w3.org/TR/ xslt.
10. J. Engelfriet and S. Maneth. Macro Tree Transducers, Attribute Grammars, and MSO Definable Tree Translations. Inform, and Comput., 154:34-91, 1999.
11. J. Engelfriet and S. Maneth. A Comparison of Pebble Tree Transducers with Macro Tree Transducers. Acta Inf., 39:613-698, 2003.
12. J. Engelfriet and S. Maneth. Macro Tree Translations of Linear Size Increase are MSO Definable. SIAM J. Comput., 32:950-1006, 2003.
13. J. Engelfriet and B. Samwel. Personal communication (work in progress). 2004.
14. J. Engelfriet and H. Vogler. Macro Tree Transducers. J. of Comp. Syst. Sci., 31:71-146, 1985.
15. J. Engelfriet and H. Vogler. Pushdown Machines for the Macro Tree Transducer. Theoret. Comp. Sci., 42:251-368, 1986.
16. D.C. Fallside, editor. XML Schema. W3C Recommendation, World Wide Web Consortium, 2 May 2001. Available online http://www.w3.org/TR/xmlschema-0/.
17. M.J. Fisher. Grammars with Macro-like Productions. PhD thesis, Harvard University, Massachusetts, 1968.
18. A. Frisch. Regular Tree Language Recognition with Static Information, 2004. PLAN-X 2004.
19. Z. Fülöp and H. Vogler. Syntax-Directed Semantics; Formal Models Based on Tree Transducers. Springer-Verlag, 1998.
20. H. Hosoya and B.C. Pierce. XDuce: A Statically Typed XML Processing Language. ACM Trans. Inter. Tech., 3(2): 117-148, 2003.
21. M. Kay, editor. XSL Transformations (XSLT) 2.0. W3C Working Draft, World Wide Web Consortium, November 2003. Available online http://www.w3.org/TR/ xslt20.
22. A. Kühnemann and H. Vogler. Synthesized and Inherited Functions. A new Computational Model for Syntax-Directed Semantics. Acta Inf., 31:431-477, 1994.
23. S. Maneth. The Macro Tree Transducer Hierarchy Collapses for Functions of Linear Size Increase. In Proc. FSTTCS'03, pages 326-337. LNCS 2914, Springer-Verlag, 2003.
24. S. Maneth and F. Neven. Structured Document Transformations Based on XSL. In Proc. DBPL'99, pages 80-98. LNCS 1949, Springer-Verlag, 1999.
25. W. Martens and F. Neven. Frontiers of Tractability for Typechecking Simple XML Transformations. In Proc. PODS'04, pages 23-34. ACM Press, 2004.
26. E. Meijer and M. Shields. XMA: A Functional Language for Constructing and Manipulating XML Documents. 1999. Available online http://www.cse.ogi.edu/~mbs/ pub/xmlambda/.
27. T. Milo, D. Suciu, and V. Vianu. Typechecking for XML Transformers. J. of Comp. Syst. Sci., 66:66-97, 2003.
28. A. Møller and M. I. Schwartzbach. The Design Space of Type Checkers for XML Transformation Languages. In Proc. ICDT'05, 2005. To appear.
29. M. Murata, D. Lee, and M. Mani. Taxonomy of XML Schema Languages using Formal Language Theory. In Proc. Extreme Markup Languages 2000, 2000.
30. A. Neumann and A. Berlea. fxgrep 4.0. Source Code, 2004.
31. F. Neven. Automata Theory for XML Researchers. SIGMOD Record, 31(3):39-46, 2002.
32. T. Perst and H. Seidl. Macro Forest Transducers. Information Processing Letters, 89:141-149, 2004.
33. J.W. Thatcher and J.B. Wright. Generalized Finite Automata with an Application to a Decision Problem of Second Order Logic. Mathematical Systems Theory, 2:57-82, 1968.
34. A. Tozawa. Towards Static Type Inference for XSLT. In ACM Symp. on Document Engineering, pages 18-27, 2001.