www.uhasselt.be
DSpace

Document Server@UHasselt >
Research >
Research publications >

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
Citation: 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.
URI: http://hdl.handle.net/1942/594
DOI: 10.1016/S0306-4379(01)00033-3
ISI #: 000174193000002
ISSN: 0306-4379
Category: A1
Type: Journal Contribution
Validation: ecoom, 2003
Appears in Collections: Research publications

Files in This Item:

Description SizeFormat
N/A223.1 kBAdobe PDF

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