Exact XML type checking in polynomial time

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4353 LNCS, Issue , 2006, Pages 254-268

  Maneth, Sebastian ^a   Perst, Thomas ^b   Seidl, Helmut ^b  

^a CSIRO   (Australia)

^b TECHNICAL UNIVERSITY OF MUNICH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

DETERMINISTIC AUTOMATA; DOCUMENT TRANSFORMATION; NEW APPROACHES; POLYNOMIAL-TIME; TREE TRANSDUCERS; TYPE INFERENCES; TYPECHECKING; WORST-CASE COMPLEXITY;

ALGORITHMS; AUTOMATA THEORY; COMPUTER PROGRAMMING LANGUAGES; INVERSE PROBLEMS; POLYNOMIAL APPROXIMATION; TRANSDUCERS;

INFERENCE ENGINES;

EID: 84878740286     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11965893_18     Document Type: Conference Paper

References (28)

1. S. Boag and D. Chamberlin et.al., editors. XQuery 1.0: An XML Query Language. World Wide Web Consortium Working Draft. Available at http://www.w3.org/TR/xquery/, 2003.
2. M. Bojańczyk and I. Walukiewicz. Unranked Tree Algebra. Technical report, University of Warsaw, 2005.
3. J. Clark and M. Murata et al. RelaxNG Specification. OASIS. Available online http://www.oasis-open.org/committees/relax-ng.
4. J. Engelfriet. Context-Free Graph Grammars. In G. Rozenberg and A. Salomaa, editors, Handbook of Formal Languages, pages 125-213. Springer-Verlag, Berlin, 1997.
5. J. Engelfriet and S. Maneth. Macro Tree Transducers, Attribute Grammars, and MSO Definable Tree Translations. Inform. and Comput., 154(1):34-91, 1999.
6. J. Engelfriet and S. Maneth. A Comparison of Pebble Tree Transducers with Macro Tree Transducers. Acta Informatica, 39:613-698, 2003.
7. J. Engelfriet and E.M. Schmidt. IO and OI. (I&II). J. Comp. Syst. Sci., 15:328-353, 1977. and 16:67-99, 1978.
8. J. Engelfriet and H. Vogler. Macro Tree Transducers. J. Comp. Syst. Sci., 31:71-146, 1985.
9. M. J. Fischer. Grammars with Macro-like Productions. PhD thesis, Harvard University, Massachusetts, 1968.
10. A. Frisch. Regular Tree Language Recognition with Static Information. In PLAN-X, 2004.
11. H. Hosoya, A. Frisch, and G. Castagna. Parametric Polymorphism for XML. In POPL, pages 50-62. ACM Press, 2005.
12. H. Hosoya and B.C. Pierce. Regular expression pattern matching for XML. Journal of Functional Programming, 13(6):961-1004, 2002.
13. H. Hosoya and B.C. Pierce. XDuce: A Statically Typed XML Processing Language. ACM Trans. Inter. Tech., 3(2):117-148, 2003.
14. C. Kirkegaard, A. Møller, and M.I. Schwartzbach. Static Analysis of XML Transformations in Java. IEEE Trans. Soft. Eng., 30:181-192, 2004.
15. S. Maneth, A. Berlea, T. Perst, and H. Seidl. XML Type Checking with Macro Tree Transducers. In PODS, pages 283-294. ACM Press, 2005.
16. W. Martens and F. Neven. Frontiers of Tractability for Typechecking Simple XML Transformations. In PODS, pages 23-34. ACM Press, 2004.
17. W. Martens and F. Neven. On the complexity of typechecking top-down xml transformations. Theor. Comput. Sci., 336:153-180, 2005.
18. T. Milo, D. Suciu, and V. Vianu. Typechecking for XML Transformers. J. Comp. Syst. Sci., 66:66-97, 2003.
19. A. Møller, M. Olesen, and M. Schwartzbach. Static Validation of XSL Transformations. Technical Report RS-05-32, BRICS, October 2005.
20. A. Møller and M. I. Schwartzbach. The Design Space of Type Checkers for XML Transformation Languages. In ICDT, pages 17-36. Springer-Verlag, 2005.
21. M. Murata, D. Lee, and M. Mani. Taxonomy of XML Schema Languages using Formal Language Theory. In Extreme Markup Languages, 2000.
22. F. Neven. Automata Theory for XML Researchers. SIGMOD Record, 31(3):39-46, 2002.
23. T. Perst and H. Seidl. Macro Forest Transducers. Inf. Proc. Letters, 89:141-149, 2004.
24. W.C. Rounds. Mappings and Grammars on Trees. Math. Systems Theory, 4:257-287, 1970.
25. A. Schmidt, F. Waas, M. L. Kersten, M. J. Carey, I. Manolescu, and Ralph Busse. Xmark: A benchmark for XML data management. In VLDB, pages 974-985. Morgan Kaufmann, 2002.
26. H. Seidl. Haskell Overloading is DEXPTIME Complete. Inf. Proc. Letters, 52:57-60, 1994.
27. H. Seidl. Least Solutions of Equations over N. In ICALP, pages 400-411. Springer, 1994.
28. W3C. Extensible Markup Language (XML) 1.0, second edition, 6 October 2000. Available online http://www.w3.org/TR/2000/REC-xml-20001006.