ABSTRACT
MSO logic on unranked trees has been identified as a convenient theoretical framework for reasoning about expressiveness and implementations of practical XML query languages. As a corresponding theoretical foundation of XML transformation languages, the "transformation language" TL is proposed. This language is based on the "document transformation language" DTL of Maneth and Neven which incorporates full MSO pattern matching, arbitrary navigation in the input tree using also MSO patterns, and named procedures. The new language generalizes DTL by additionally allowing procedures to accumulate intermediate results in parameters. It is proved that TL -- and thus in particular DTL - despite their expressiveness still allow for effective inverse type inference. This result is obtained by means of a translation of TL programs into compositions of top-down finite state tree transductions with parameters, also called (stay) macro tree transducers.
- S. Abiteboul, P. Buneman, and D. Suciu. Data on the Web. Morgan Kaufmann, 2000.]]Google Scholar
- V. Benzaken, G. Castagna, and A. Frisch. CDuce: An XML-Centric General-Purpose Language. In Proc. ICFP'03, pages 51--63. ACM Press, 2003.]] Google ScholarDigital Library
- 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.]]Google Scholar
- A. Berlea and H. Seidl. fxt - A Transformation Language for XML Documents. Journal of Computing and Information Technology, 10(1):19--35, 2002.]]Google ScholarCross Ref
- R. Bloem and J. Engelfriet. Monadic Second Order Logic and Node Relations on Graphs and Trees. pages 144--161. LNCS 1261, Springer-Verlag, 1997.]] Google ScholarDigital Library
- 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/.]]Google Scholar
- 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.]]Google Scholar
- J. Clark and M. Murata et al. RelaxNG Specification. OASIS. Available online http://www.oasis-open.org/committees/relax-ng.]]Google Scholar
- J. Clark, editor. XSL Transformations (XSLT) 1.0. W3C Recommendation, World Wide Web Consortium, November 1999. Available online http://www.w3.org/TR/xslt.]]Google Scholar
- J. Engelfriet and S. Maneth. Macro Tree Transducers, Attribute Grammars, and MSO Definable Tree Translations. Inform. and Comput., 154:34--91, 1999.]] Google ScholarDigital Library
- J. Engelfriet and S. Maneth. A Comparison of Pebble Tree Transducers with Macro Tree Transducers. Acta Inf., 39:613--698, 2003.]]Google ScholarDigital Library
- J. Engelfriet and S. Maneth. Macro Tree Translations of Linear Size Increase are MSO Definable. SIAM J. Comput., 32:950--1006, 2003.]]Google ScholarCross Ref
- J. Engelfriet and B. Samwel. Personal communication (work in progress). 2004.]]Google Scholar
- J. Engelfriet and H. Vogler. Macro Tree Transducers. J. of Comp. Syst. Sci., 31:71--146, 1985.]]Google ScholarCross Ref
- J. Engelfriet and H. Vogler. Pushdown Machines for the Macro Tree Transducer. Theoret. Comp. Sci., 42:251--368, 1986.]] Google ScholarDigital Library
- D.C. Fallside, editor. XML Schema. W3C Recommendation, World Wide Web Consortium, 2 May 2001. Available online http://www.w3.org/TR/xmlschema-0/.]]Google Scholar
- M.J. Fisher. Grammars with Macro-like Productions. PhD thesis, Harvard University, Massachusetts, 1968.]]Google ScholarDigital Library
- A. Frisch. Regular Tree Language Recognition with static Information, 2004. PLAN-X 2004.]]Google Scholar
- Z. Fülöp and H. Vogler. Syntax-Directed Semantics; Formal Models Based on Tree Transducers. Springer-Verlag, 1998.]] Google ScholarDigital Library
- H. Hosoya and B. C. Pierce. XDuce: A Statically Typed XML Processing Language. ACM Trans. Inter. Tech., 3(2):117--148, 2003.]] Google ScholarDigital Library
- 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.]]Google Scholar
- A. Kühnemann and H. Vogler. Synthesized and Inherited Functions. A new Computational Model for Syntax-Directed Semantics. Acta Inf., 31:431--477, 1994.]]Google ScholarDigital Library
- 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.]]Google ScholarCross Ref
- S. Maneth and F. Neven. Structured Document Transformations Based on XSL. In Proc. DBPL'99, pages 80--98. LNCS 1949, Springer-Verlag, 1999.]] Google ScholarDigital Library
- W. Martens and F. Neven. Frontiers of Tractability for Typechecking Simple XML Transformations. In Proc. PODS'04, pages 23--34. ACM Press, 2004.]] Google ScholarDigital Library
- E. Meijer and M. Shields. XML: A Functional Language for Constructing and Manipulating XML Documents. 1999. Available online http://www.cse.ogi.edu/~mbs/pub/xmlambda/.]]Google Scholar
- T. Milo, D. Suciu, and V. Vianu. Typechecking for XML Transformers. J. of Comp. Syst. Sci., 66:66--97, 2003.]] Google ScholarDigital Library
- A. Møller and M. I. Schwartzbach. The Design Space of Type Checkers for XML Transformation Languages. In Proc. ICDT'05, 2005. To appear.]] Google ScholarDigital Library
- M. Murata, D. Lee, and M. Mani. Taxonomy of XML Schema Languages using Formal Language Theory. In Proc. Extreme Markup Languages 2000, 2000.]]Google Scholar
- A. Neumann and A. Berlea. fxgrep 4.0. Source Code, 2004.]]Google Scholar
- F. Neven. Automata Theory for XML Researchers. SIGMOD Record, 31(3):39--46, 2002.]] Google ScholarDigital Library
- T. Perst and H. Seidl. Macro Forest Transducers. Information Processing Letters, 89:141--149, 2004.]] Google ScholarDigital Library
- 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.]]Google ScholarCross Ref
- A. Tozawa. Towards Static Type Inference for XSLT. In ACM Symp. on Document Engineering, pages 18--27, 2001.]] Google ScholarDigital Library
Recommendations
A comparison of pebble tree transducers with macro tree transducers
The n -pebble tree transducer was recently proposed as a model for XML query languages. The four main results on deterministic transducers are: First, (1) the translation $\tau$ of an n -pebble tree transducer can be realized by a composition of n +1 0-...
Pebble Macro Tree Transducers with Strong Pebble Handling
We consider pebble macro tree transducers with call-by-name semantics and strong pebble handling. The latter means that the last dropped pebble can be lifted regardless of the position of the reading head. This tree transducer concept is a ...
Pebble Macro Tree Transducers with Strong Pebble Handling
We consider pebble macro tree transducers with call-by-name semantics and strong pebble handling. The latter means that the last dropped pebble can be lifted regardless of the position of the reading head. This tree transducer concept is a ...
Comments