See this document in CiteSeerX!

A Formal Model for an Expressive Fragment of XSLT (2000)  (Make Corrections)  (25 citations)
Geert Jan Bex, Sebastian Maneth, Frank Neven
Lecture Notes in Computer Science



  Home/Search   Context   Related

 
View or download:
alpha.luc.ac.be/~fneven/xslt.ps
Cached:  PDF   PS.gz  PS  Image  Update  Help

From:  alpha.luc.ac.be/~fneven/publs (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: . The aim of this paper is two-fold. First, we want to show that the recent extension of XSL with variables and passing of data values between template rules has increased its expressiveness beyond that of most other current XML query languages. Second, in an attempt to increase the understanding of this already wide-spread but not so transparent language, we provide an essential and powerful fragment with a formal syntax and a precise semantics. 1 Introduction XSL [6] is a current W3C... (Update)

Context of citations to this paper:   More

.... a general model for XML based query languages: the so called pebble tree transducer [20, 28] related models are considered in, e.g. [1, 21, 22]) Here we study some theoretical properties of the pebble tree transducer of [20, 28] restricted to monadic trees, i.e. to strings:...

Cited by:   More
Model Transformations And Tool Integration - Tratt (2004)   (Correct)
Rule-Driven Processing of Tree-Structured Data Using Pointed.. - Schmidt, Patel (2003)   (Correct)
Incomparability Results for Classes of Polynomial Tree Series .. - Maletti, Vogler   (Correct)

Similar documents (at the sentence level):
51.1%:   Expressive Power of XSLT - Bex, Maneth, Neven (2000)   (Correct)
23.2%:   A Formal Model for an Expressive Fragment of XSLT - Bex, Maneth, Neven (2000)   (Correct)
7.4%:   A formal model for an expressive fragment of XSLT - Bex, Maneth, Neven (2002)   (Correct)

Active bibliography (related documents):   More   All
0.3:   Expressive and efficient pattern languages for.. - Neven, Schwentick (1999)   (Correct)
0.2:   On the Power of Tree-Walking Automata - Neven, Schwentick (2000)   (Correct)
0.1:   Typechecking for XML Transformers - Milo, Suciu, Vianu (2000)   (Correct)

Similar documents based on text:   More   All
0.8:   How to Develop Stylesheets for XML to XSL-FO - Transformation June Antenna   (Correct)
0.7:   Translating XSLT Programs to Efficient SQL Queries - Jain, Mahajan, Suciu (2002)   (Correct)
0.6:   DTDs versus XML Schema: A Practical Study - Bex, Neven, Van den Bussche (2004)   (Correct)

Related documents from co-citation:   More   All
17:   Typechecking for XML transformers - Milo, Suciu et al. - 2000
9:   Expressiveness of structured document query languages based on attribute grammar.. - Neven, Van den Bussche - 1998
9:   DTD inference for views of XML data - Papakonstantinou, Vianu - 1999

BibTeX entry:   (Update)

G. J. Bex, S. Maneth, and F. Neven. A formal model for an expressive fragment of XSLT, 2000. manuscript. http://citeseer.ist.psu.edu/article/bex00formal.html   More

@article{ bex00formal,
    author = "Geert Jan Bex and Sebastian Maneth and Frank Neven",
    title = "A Formal Model for an Expressive Fragment of {XSLT}",
    journal = "Lecture Notes in Computer Science",
    volume = "1861",
    pages = "1137--??",
    year = "2000",
    url = "citeseer.ist.psu.edu/article/bex00formal.html" }
Citations (may not include all citations):
501   The lorel query language for semistructured data - Abiteboul, Quass et al. - 1997
331   A query language and optimization techniques for unstructure.. - Buneman, Davidson et al. - 1996
294   Finite Model Theory (context) - Ebbinghaus, Flum - 1995
208   Data on the Web : From Relations to Semistructured Data and .. (context) - Abiteboul, Buneman et al. - 1999
195   XML Path Language (context) - Clark
175   Extensible Markup Language (context) - Web
143   Catching the boat with strudel: Experiences with a web-site .. - Fernandez, Florescu et al. - 1998
131   and logic (context) - Thomas, automata - 1997
40   A formal semantics of patterns in XSLT - Wadler - 1999
40   Expressiveness of structured document query languages based .. - Neven, Van den Bussche - 1998
37   Extensible stylesheet language (context) - Clark, Deach
35   Extensions of attribute grammars for structured document que.. - Neven - 1999
24   Query automata - Neven, Schwentick - 1999
18   Expressive and ecient pattern languages for treestructured d.. (context) - Neven, Schwentick - 2000
16   Structured document transformations based on XSL - Maneth, Neven - 1999
14   The design of XQL (context) - Robie - 1999
14   Design and Analysis of Query Languages for Structured Docume.. (context) - Neven - 1999
8   XSL transformations version (context) - Clark - 1999
7   Data Engineering Bulletin (context) - Deutsch, fernandez et al. - 1999
5   Examples of translations from XML-QL to XSLT (context) - Bex, Maneth et al.
1   To appear in the Proceedings of the Nineteenth ACM Symposium.. (context) - Milo, Suciu et al. - 2000



The graph only includes citing articles where the year of publication is known.


Documents on the same site (http://alpha.luc.ac.be/~fneven/publs.html):   More
Expressive Power of XSLT - Bex, Maneth, Neven (2000)   (Correct)
On the Power of Tree-Walking Automata - Neven, Schwentick (2000)   (Correct)
Expressive and efficient pattern languages for.. - Neven, Schwentick (1999)   (Correct)

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC