A formal model for an expressive fragment of XSLT

The extension of the eXtensible Style sheet Language (XSL) by variables and passing of data values between template rules has generated a powerful XML query language: eXtensible Style sheet Language Transformations (XSLT). An informal introduction to XSTL is given, on the bases of which a formal model of a fragment of XSLT is defined. This formal model is in the spirit of tree transducers, and its semantics is defined by rewrite relations. It is shown that the expressive power of the fragment is already beyond that of most other XML query languages. Finally, important properties such as termination and closure under composition are considered.

[1]  Wolfgang Thomas,et al.  Languages, Automata, and Logic , 1997, Handbook of Formal Languages.

[2]  Alain Quéré,et al.  Définition et Etude des Bilangages Réguliers , 1968, Inf. Control..

[3]  Dan Suciu,et al.  Catching the boat with Strudel: experiences with a Web-site management system , 1998, SIGMOD '98.

[4]  Jörg Flum,et al.  Finite model theory , 1995, Perspectives in Mathematical Logic.

[5]  Joost Engelfriet,et al.  Macro Tree Transducers, Attribute Grammars, and MSO Definable Tree Translations , 1999, Inf. Comput..

[6]  Alin Deutsch,et al.  Querying XML Data , 1999, IEEE Data Eng. Bull..

[7]  Bruno Courcelle,et al.  Recognizable sets of graphs: equivalent definitions and closure properties , 1994, Mathematical Structures in Computer Science.

[8]  Daniela Florescu,et al.  Quilt: An XML Query Language for Heterogeneous Data Sources , 2000, WebDB.

[9]  Dan Suciu,et al.  A query language and optimization techniques for unstructured data , 1996, SIGMOD '96.

[10]  Nicolás Marín,et al.  Review of Data on the Web: from relational to semistructured data and XML by Serge Abiteboul, Peter Buneman, and Dan Suciu. Morgan Kaufmann 1999. , 2003, SGMD.

[11]  Philippe Flajolet,et al.  Decision Problems for Multihead Finite Automata , 1973, MFCS.

[12]  Thomas Schwentick,et al.  Query automata , 1999, PODS '99.

[13]  Frank Neven,et al.  Structured Document Transformations Based on XSL , 1999, DBPL.

[14]  Frank Neven,et al.  Expressiveness of structured document query languages based on attribute grammars , 1998, JACM.

[15]  Jennifer Widom,et al.  The Lorel query language for semistructured data , 1997, International Journal on Digital Libraries.

[16]  James Clark,et al.  XSL Transformations (XSLT) Version 1.0 , 1999 .

[17]  Frank Neven,et al.  Extensions of Attribute Grammars for Structured Document Queries , 1999, DBPL.

[18]  Dan Suciu,et al.  Data on the Web: From Relations to Semistructured Data and XML , 1999 .

[19]  Dan Suciu,et al.  Typechecking for XML transformers , 2000, J. Comput. Syst. Sci..

[20]  Mary Fernandez.  XML Query Languages: Experiences and Exemplars , 2001 .

[21]  Alberto O. Mendelzon,et al.  Research Issues in Structured and Semistructured Database Programming , 1999, Lecture Notes in Computer Science.

[22]  Thomas Schwentick,et al.  Expressive and efficient pattern languages for tree-structured data (extended abstract) , 2000, PODS '00.