XML transformation by tree-walking transducers with invisible pebbles

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

Volumn , Issue , 2007, Pages 63-72

  Engelfriet, Joost ^a   Hoogeboom, Hendrik Jan ^a   Samwel, Bart ^a  

^a LEIDEN UNIVERSITY   (Netherlands)

Author keywords

Pebble; Tree transducer; XML

Indexed keywords

COMPUTATIONAL COMPLEXITY; COMPUTER PROGRAMMING LANGUAGES; TREES (MATHEMATICS);

BINARY PATTERN; DECIDABLE TYPECHECKING; TREE TRANSDUCER;

XML;

EID: 35448959313     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1265530.1265540     Document Type: Conference Paper

References (28)

1. S. Abiteboul, P. Buneman, D. Suciu. Data on the Web. Morgan Kaufmann, 2000.
2. M. Bartha. An algebraic definition of attributed transformations. Acta Cybernetica 5, 409-421, 1982.
3. G. J. Bex, S. Maneth, P. Neven. A formal model for an expressive fragment of XSLT. Information Systems 27, 21-39, 2002.
4. R. Bloem, J. Engelfriet. Monadic second order logic and node relations on graphs and trees. In: Structures in Logic and Computer Science, LNCS 1261, 144-161, 1997.
5. M. Bojanczyk, M. Samuelides, T. Schwentick, L. Segoufin. Expressive power of pebble automata. Proc. ICALP'06, LNCS 4051, 157-168, 2006.
6. A. Brüggemann-Klein, D. Wood. Caterpillars, context, tree automata and tree pattern matching. Proc. DLT'99, World Scientific, 270-285, 1999.
7. B. ten Cate. The expressivity of XPath with transitive closure. Proc. PODS'06, ACM Press, 328-337, 2006.
8. J. Doner. Tree acceptors and some of their applications. J. Comput. and Syst. Sci. 4, 406-451, 1970.
9. J. Engelfriet, H.J. Hoogeboom. Tree-walking pebble automata. In: Jewels are forever, Springer-Verlag, 72-83, 1999.
10. J. Engelfriet, H.J. Hoogeboom, J.-P. Van Best. Trips on trees. Acta Cybernetica 14, 51-64, 1999.
11. J. Engelfriet, S. Maneth. A comparison of pebble tree transducers with macro tree transducers. Acta Inform. 39, 613-698, 2003.
12. J. Engelfriet, H. Vogler. Pushdown machines for the macro tree transducer. Theor. Comput. Sci. 42, 251-368, 1986.
13. M.J. Fischer. Grammars with macro-like productions. Ph.D. Thesis, Harvard University, 1968.
14. E. Goris, M. Marx. Looping caterpillars. Proc. LICS'05, IEEE, 51-60, 2005.
15. G. Gottlob, C. Koch, R. Pichler. Efficient algorithms for processing XPath queries. Proc. VLDB'02, Morgan Kaufmann, 95-106, 2002.
16. G. Gottlob, C. Koch, K.U. Schulz. Conjunctive queries over trees. Proc. PODS'04, ACM Press, 189-200, 2004.
17. W. Janssen, A. Korlyukov, J. Van den Bussche. On the tree-transformation power of XSLT. Acta Inform. 43, 371-393, 2007.
18. S. Maneth, A. Berlea, T. Perst, H. Seidl. XML type checking with macro tree transducers. Proc. PODS'05, ACM Press, 283-294, 2005.
19. S. Maneth, F. Neven. Structured document transformation based on XSL. Proc. DBPL'99, LNCS 1949, 2000, 80-98.
20. M. Marx. Conditional XPath. ACM T. Database Syst. 30, 929-959, 2005.
21. M. Marx. Navigation in XML trees. In: The Logic in Computer Science Column, Bull. EATCS 88, 126-140, February 2006.
22. T. Milo, D. Suciu, V. Vianu. Typechecking for XML transformers. J. Comput. Syst. Sci. 66, 66-97, 2003.
23. A. Møller, M. I. Schwartzbach. The design space of type checkers for XML transformation languages. Proc. ICDT'05, LNCS 3363, 17-36, 2005.
24. F. Neven, T. Schwentick. Automatar and logic-based pattern languages for tree-structured data. In: Semantics in Databases 2001, LNCS 2582, 160-178, 2003.
25. T. Perst, H. Seidl. Macro forest transducers. Inform. Process. Lett. 89, 141-149, 2004.
26. B. Samwel. Pebble scope and the power of pebble tree transducers. M.Sc. Thesis, LIACS, Leiden University, 2006.
27. G. Slutzki. Alternating tree automata. Theor. Comput. Sci. 41, 305-318, 1985.
28. J.W. Thatcher, J.B. Wright. Generalized finite automata theory with an application to a decision problem of second-order logic, Math. Syst. Theory 2, 57-81, 1968.