Abstract
Based on the recursion mechanism of the XML transformation language XSL, the document transformation language DTL is defined. First the instantiation DTL reg is considered that uses regular expressions as pattern language. This instantiation closely resembles the navigation mechanism of XSL. For DTL reg 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 abstraction of XSL is considered that uses monadic second-order logic formulas as pattern language (DTL mso). If DTL mso is restricted to top-down transformations (DTL mso d ), then a computational model can be defined which is a natural generalization to unranked trees of topdown 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 DTL mso d programs is obtained which induces transformations of linear size increase (safe DTL mso d ). It is shown that the emptiness and finiteness problems are decidable for ranges of DTL mso d programs and that the ranges are closed under intersection with generalized Document Type Definitions (DTDs).
The work of this author was supported by the EC TMR Network GETGRATS. Research Assistant of the Fund for Scientific Research, Flanders.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
S. Abiteboul. On views and XML. In Proceedings of the 18th ACM Symposium on Principles of Database Systems, pages 1–9. ACM Press, 1999. 80
A. Bosworth. A proposal for an XSL query language. http://www.w3.org/TandS/QL/QL98/pp/microsoft-extensions.html. 80, 82
A. Brüggemann-Klein, M. Murata, and D. Wood. Regular tree languages over non-ranked alphabets (draft 1). Manuscript, 1998. 82, 84
J. Clark and S. Deach. Extensible stylesheet language (XSL). http://www.w3.org/TR/WD-xsl. 80, 84
World Wide Web Consortium. Extensible Markup Language (XML). http://www.w3.org/XML/. 80, 83, 85
Frank Drewes and Joost Engelfriet. Decidability of finiteness of ranges of tree transductions. Inform. and Comput., 145:1–50, 1998. 96
H.-D. Ebbinghaus and J. Flum. Finite Model Theory. Springer, 1995. 91
J. Engelfriet. Bottom-up and top-down tree transformations — a comparison. Math. Systems Theory, 9(3):198–231, 1975. 81, 95
J. Engelfriet and G. Filè. Passes and paths of attribute grammars. Inform. and Control, 49:125–169, 1981. 90
J. Engelfriet and S. Maneth. Macro tree transducers, attribute grammars, and MSO definable tree translations. Inform. and Comput., 154:34–91, 1999. 96
J. Engelfriet and S. Maneth. Characterizing and Deciding MSO-definability of Macro Tree Transductions. To appear in Proc. STACS’00. 97
J. Engelfriet, G. Rozenberg, and G. Slutzki. Tree transducers, L systems, and two-way machines. J. of Comp. Syst. Sci., 20:150–202, 1980. 96
J. Engelfriet and H. Vogler. Macro tree transducers. J. of Comp. Syst. Sci., 31:71–146, 1985. 95, 96
Z. Fülöp. Undecidable properties of deterministic top-down tree transducers. Theoret. Comput. Sci., 134:311–328, 1994. 95
M. Jazayeri, W. F. Ogden, and W. C. Rounds. The intrinsically exponential complexity of the circularity problem for attribute grammars. Comm. ACM, 18:697–706, 1975. 88
B. Ludäscher, Y. Papakonstantinou, P. Velikhov, and V. Vianu. View definition and DTD inference for XML. In Proceedings of the Workshop on Query Processing for Semistructured Data and Non-Standard Data Formats, 1999. 81, 83
S. Maneth. The generating power of total deterministic tree transducers. Inform. and Comput., 147:111–144, 1998. 89
M. Murata. Forest-regular languages and tree-regular languages. Manuscript, 1995. 81, 83, 92
F. Neven and T. Schwentick. Query automata. In Proceedings of the 18th ACM Symposium on Principles of Database Systems, pages 205–214. ACM Press, 1999. 89
C. Pair and A. Quere. Définition et etude des bilangages réguliers. Information and Control, 13(6):565–593, 1968. 95
Y. Papakonstantinou and V. Vianu. DTD Inference for Views of XML Data. To appear in Proc. PODS’2000. ACM Press, 2000. 81, 83, 84
L. J. Stockmeyer and A. R. Meyer. Word problems requiring exponential time: Preliminary report. In Proc. STOC’73, pages 1–9, 1973. 90
D. Suciu. Semistructured data and XML. In Proceedings of International Conference on Foundations of Data Organization, 1998. 80
J. W. Thatcher. Generalized2 sequential machine maps. J. of Comp. Syst. Sci., 4:339–367, 1970. 81, 95
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Maneth, S., Neven, F. (2000). Structured Document Transformations Based on XSL. In: Connor, R., Mendelzon, A. (eds) Research Issues in Structured and Semistructured Database Programming. DBPL 1999. Lecture Notes in Computer Science, vol 1949. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44543-9_6
Download citation
DOI: https://doi.org/10.1007/3-540-44543-9_6
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-41481-0
Online ISBN: 978-3-540-44543-2
eBook Packages: Springer Book Archive