Please use this identifier to cite or link to this item: http://hdl.handle.net/1942/594
Title: A formal model for an expressive fragment of XSLT
Authors: BEX, Geert Jan 
Maneth, Sebastian
NEVEN, Frank 
Issue Date: 2002
Publisher: Elsevier
Source: Information Systems, 27(1). p. 21-39
Abstract: 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.
Document URI: http://hdl.handle.net/1942/594
ISSN: 0306-4379
e-ISSN: 1873-6076
DOI: 10.1016/S0306-4379(01)00033-3
ISI #: 000174193000002
Category: A1
Type: Journal Contribution
Validations: ecoom 2003
Appears in Collections:Research publications

Files in This Item:
File Description SizeFormat 
22neven.pdf223.1 kBAdobe PDFView/Open
Show full item record

SCOPUSTM   
Citations

54
checked on Sep 2, 2020

WEB OF SCIENCETM
Citations

45
checked on May 14, 2022

Page view(s)

44
checked on May 18, 2022

Download(s)

228
checked on May 18, 2022

Google ScholarTM

Check

Altmetric


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.