Document Server@UHasselt >
Research >
Research publications >

Please use this identifier to cite or link to this item: http://hdl.handle.net/1942/653

Title: Structured Document Transformations Based on XSL
Authors: Maneth, Sebastian
NEVEN, Frank
Issue Date: 2000
Publisher: Publisher: Springer-Verlag GmbH
Citation: Research Issues in Structured and Semistructured Database Programming. p. 80-98
Abstract: Based on the recursion mechanism of the XML transformation language XSL, the document transformation language is defined. First the instantiation is considered that uses regular expressions as pattern language. This instantiation closely resembles the navigation mechanism of XSL. For the complexity of relevant decision problems such as termination of programs, usefulness of rules and equivalence of selection patterns, is addressed. Next, a much more powerful ion of XSL is considered that uses monadic second-order logic formulas as pattern language ( ). If is restricted to top-down transformations ( ), then a computational model can be defined which is a natural generalization to unranked trees of top-down tree transducers with look-ahead. The look-ahead can be realized by a straightforward bottom-up pre-processing pass through the document. The size of the output of an XSL program is at most exponential in the size of the input. By restricting copying in XSL a decidable fragment of programs is obtained which induces transformations of linear size increase (safe ). It is shown that the emptiness and finiteness problems are decidable for ranges of programs and that the ranges are closed under intersection with generalized Document Type Definitions (DTDs).
URI: http://hdl.handle.net/1942/653
Link to publication: http://link.springer.de/link/service/series/0558/bibs/1949/19490080.htm
ISBN: 978-3-540-41481-0
ISSN: 0302-9743
Category: A1
Type: Journal Contribution
Appears in Collections: Research publications

Files in This Item:

There are no files associated with this item.

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