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.
The work of this author was supported by the EC TMR Network GETGRATS.
Research Assistant of the Fund for Scientific Research, Flanders. Work partly performed while visiting the University of California, San Diego.
This is a preview of subscription content, log in via an institution to check access.
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, P. Buneman, and D. Suciu. Data on the Web: From Relations to Semistructured Data and XML. Morgan Kaufmann, 1999.
S. Abiteboul, D. Quass, J. McHugh, J. Widom, and J. L. Wiener. The lorel query language for semistructured data. International Journal on Digital Libraries, 1(1):68–88, 1997.
G. J. Bex, S. Maneth, F. Neven. Examples of translations from XML-QL to XSLT. http://www.luc.ac.be/~gjb/xml-ql2xslt.html.
P. Buneman, S. Davidson, G. G. Hillebrand, and D. Suciu. A query language and optimization techniques for unstructured data. In Proceedings of the 1996 ACM SIGMOD International Conference on Management of Data, volume 25:2 of SIGMOD Record, pages 505–516. ACM Press, 1996.
J. Clark. XML Path Language (XPath). http://www.w3.org/TR/xpath.
J. Clark and S. Deach. Extensible stylesheet language (XSL). http://www.w3.org/TR/WD-xsl.
James Clark. XSL transformations version 1.0. http://www.w3.org/TR/xslt, November 1999.
World Wide Web Consortium. Extensible Markup Language (XML). http://www.w3.org/XML/.
A. Deutsch, M. fernandez, D. Florescu, A. Levy, D. Maier, and D. Suciu. Querying XML data. Data Engineering Bulletin, 22(3):10–18, 1999.
H.-D. Ebbinghaus and J. Flum. Finite Model Theory. Springer, 1995. http://www-db.research.bell-labs.com/user/simeon/xquery.html, 1999.
M. F. Fernandez, D. Florescu, J. Kang, A. Y. Levy, and D. Suciu. Catching the boat with strudel: Experiences with a web-site management system. In L. M. Haas and A. Tiwary, editors, SIGMOD 1998, Proceedings ACM SIGMOD International Conference on Management of Data, pages 414–425. ACM Press, 1998.
S. Maneth and F. Neven. Structured document transformations based on XSL. To appear in the proceedings of the Seventh International Workshop on Database Programming Languages, Lecture Notes in Computer Science, 1999.
T. Milo, D. Suciu, and V. Vianu. Type checking for XML transformers. To appear in the Proceedings of the Nineteenth ACM Symposium on Principles of Database Systems. ACM Press, 2000.
F. Neven. Design and Analysis of Query Languages for Structured Documents — A Formal and Logical Approach. Doctor’s thesis, Limburgs Universitair Centrum (LUC), 1999.
F. Neven. Extensions of attribute grammars for structured document queries. To appear in the proceedings of the Seventh International Workshop on Database Programming Languages, Lecture Notes in Computer Science, 1999.
F. Neven and T. Schwentick. Query automata. In Proceedings of the Eighteenth ACM Symposium on Principles of Database Systems, pages 205–214. ACM Press, 1999.
F. Neven and T. Schwentick. Expressive and efficient pattern languages for tree-structured data. To appear in the Proceedings of the Nineteenth ACM Symposium on Principles of Database Systems. ACM Press, 2000.
F. Neven and J. Van den Bussche. Expressiveness of structured document query languages based on attribute grammars. In Proceedings of the Seventeenth ACM Symposium on Principles of Database Systems, pages 11–17. ACM Press, 1998.
J. Robie. The design of XQL. http://www.texcel.no/whitepapers/xql-design.html, 1999.
W. Thomas. Languages, automata, and logic. In G. Rozenberg and A. Salomaa, editors, Handbook of Formal Languages, volume 3, chapter 7. Springer, 1997.
P. Wadler. A formal semantics of patterns in XSLT. Markup Technologies, 1999.
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
Bex, G.J., Maneth, S., Neven, F. (2000). A Formal Model for an Expressive Fragment of XSLT. In: Lloyd, J., et al. Computational Logic — CL 2000. CL 2000. Lecture Notes in Computer Science(), vol 1861. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44957-4_76
Download citation
DOI: https://doi.org/10.1007/3-540-44957-4_76
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-67797-0
Online ISBN: 978-3-540-44957-7
eBook Packages: Springer Book Archive