A formal model for an expressive fragment of XSLT

Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)

Volumn 1861, Issue , 2000, Pages 1137-1151

  Bex, Geert Jan ^a   Maneth, Sebastian ^b   Neven, Frank ^a  

^a HASSELT UNIVERSITY   (Belgium)

^b LEIDEN UNIVERSITY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

DATA VALUES; FORMAL MODEL; XML QUERY LANGUAGE;

SEMANTICS;

LOGIC PROGRAMMING;

EID: 84867769560     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/3-540-44957-4_76     Document Type: Conference Paper

References (21)

1. S. Abiteboul, P. Buneman, and D. Suciu. Data on the Web : From Relations to Semistructured Data and XML. Morgan Kaufmann, 1999.
2. 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.
3. G. J. Bex, S. Maneth, F. Neven. Examples of translations from XML-QL to XSLT. http://www.luc.ac.be/~gjb/xml-ql2xslt.html.
4. 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.
5. J. Clark. XML Path Language (XPath). http://www.w3.org/TR/xpath.
6. J. Clark and S. Deach. Extensible stylesheet language (XSL) . http://www.w3.org/TR/WD-xsl.
7. James Clark. XSL transformations version 1.0. http://www.w3.org/TR/xslt, November 1999.
8. World Wide Web Consortium. Extensible Markup Language (XML). http://www.w3.org/XML/.
9. A. Deutsch, M. Fernandez, D. Florescu, A. Levy, D. Maier, and D. Suciu. Querying XML data. Data Engineering Bulletin, 22(3):10-18, 1999.
10. H.-D. Ebbi nghaus, J. Flum Finite Model Theory. Springer 1995. http://www-db.research.bell-labs.com/user/simeon/xquery.html 1999
11. M. F. Fernandez, D. Florescu, J. Kang, A. Y. Levy, and D. Su ciu. 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.
12. 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.
13. 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.
14. F. Neven. Design and Analysis of Query Languages for Structured Documents | A Formal and Logical Approach. Doctor's thesis, Limburgs Universitair Centrum (LUC), 1999.
15. F. Neven. Extensions o f 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.
16. F. Neven and T. Schwenti ck. Query automata. In Proceedings of the Eighteenth ACM Symposium on Principles of Database Systems, pages 205-214. ACM Press, 1999.
17. 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.
18. 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.
19. J. Robie. The design of XQL. http://www.texcel.no/whitepapers/xql-design.html, 1999.
20. W. Thomas. Languages, automata, and logic. In G. Rozenberg and A. Salomaa, editors, Handbook of Formal Languages, volume 3, chapter 7. Springer, 1997.
21. P. Wadler. A formal semantics of patterns in XSLT. Markup Technologies, 1999.