A formal model for an expressive fragment of XSLT

J. Clark, XSL Transformations (XSLT) Version 1.0. W3C Recommendation, http://www.w3.org/TR/xslt, November 1999. World Wide Web Consortium, Extensible Markup Language (XML), http://www.w3.org/XML,. Deutsch, 1999, Querying XML data, Data Eng. Bull., 22, 10 S. Abiteboul, P. Buneman, D. Suciu, Data on the Web: From Relations to Semistructured Data and XML. Morgan Kaufmann, Los atlos, CA, 2000. T. Milo, D. Suciu, V. Vianu, Type checking for XML transformers, Proceedings of the Nineteenth ACM Symposium on Principles of Database Systems, ACM Press, New York, 2000, pp. 11–22. J. Robie, The design of XQL, http://www.texcel.no/whitepapers/xql-design.html, 1999. Abiteboul, 1997, The lorel query language for semistructured data, Int. J. Digital Libraries, 1, 68, 10.1007/s007990050005 Fernandez, 1998, Catching the boat with strudel: experiences with a web-site management system, 414 P. Buneman, S. Davidson, G.G. Hillebrand, D. Suciu, A query language and optimization techniques for unstructured data, Proceedings of the 1996 ACM SIGMOD International Conference on Management of Data, SIGMOD Record, Vol. 25(2), ACM Press, New York, 1996, pp. 505–516. W. Thomas, Languages, automata, and logic, in: G. Rozenberg, A. Salomaa (Eds.), Handbook of Formal Languages, Vol. 3, Springer, Berlin, 1997 (Chapter 7). F. Neven, T. Schwentick, Query automata, Proceedings of the Eighteenth ACM Symposium on Principles of Database Systems, ACM Press, New York, 1999, pp. 205–214. F. Neven, J. Van den Bussche, Expressiveness of structured document query languages based on attribute grammars, Proceedings of the Seventeenth ACM Symposium on Principles of Database Systems, ACM Press, New York, 1998, pp. 11–17. Neven, 2000, Extensions of attribute grammars for structured document queries, Vol. 1949, 99 F. Neven, T. Schwentick, Expressive and efficient pattern languages for tree-structured data, Proceedings of the 19th Symposium on Principles of Database Systems (PODS 2000), Dallas, 2000, pp. 145–156. Maneth, 2000, Structured document transformations based on XSL, Vol. 1949, 80 G.J. Bex, Examples of translations from XML-QL to XSLT, http://www.luc.ac.be/∼gjb/xml-ql2xslt.html, 2000. J. Clark, XML Path Language (XPath), http://www.w3.org/TR/xpath, November 1999. P. Wadler, A formal semantics of patterns in XSLT, Markup Technologies, 1999. Courcelle, 1994, Recognizable sets of graphs: equivalent definitions and closure properties, Math. Struct. Comp. Sci., 4, 1, 10.1017/S0960129500000359 Pair, 1968, D'efinition et etude des bilanguages r'eguliers, Inf. Control, 13, 565, 10.1016/S0019-9958(68)90999-6 M. Fernandez, J. Siméon, P. Wadler (Eds.), XML Query languages: experiences and exemplars, 1999, http://www-db.research.bell-labs.com/user/simeon/xquery.html. D. Chamberlin et al., XQuery 1.0: An XML Query Language, http://www.w3.org/TR/xquery, February 2001. Chamberlin, 2001, An XML query language for heterogeneous data sources, Vol. 1997, 1 Ebbinghaus, 1995 Immerman, 1998 F. Neven, Design and Analysis of Query Languages for Structured Documents—A Formal and Logical Approach, Doctor's thesis, Limburgs Universitair Centrum (LUC), 1999. P. Flajolet, J.-M. Steyaert, Decision problems for multihead finite automata, Proceedings of the second International conference on Mathematical Foundations of Computer Science, Mathematical Institute of the Slovak Academy of Sciences, 1973, pp. 225–230. Rounds, 1970, Mappings and grammars on trees, Math. Systems Theory, 4, 257, 10.1007/BF01695769 Engelfriet, 1999, Macro tree transducers, attribute grammars, and MSO definable tree translations, Inf. Comput., 154, 34, 10.1006/inco.1999.2807