XML and Programming Languages, Summer Term 2009
Contents
We study query and transformation languages for XML processing, both from a pragmatic perspective and regarding their semantic underpinnings.
Prerequisites
- declarative programming
- formal language theory
- mathematical logic
Organization
The lectures and tutorials are scheduled for Monday 14:50-16:20 (DS 5), every week, and Friday 14:50-16:20 (DS 5), every second week, all in room INF E005.
Some lectures may be switched for tutorials or vice versa.
Also, some changes are necessary when the lecturer is travelling.
The current overall plan looks as follows:
- April 6th, lecture
- April 17th, lecture
- May 11th, tutorial/lecture
- May 15th, lecture
- May 18th, tutorial/lecture
- May 25th, lecture
- May 29th, tutorial
- June 8th, lecture
- June 15th, tutorial
- June 22nd, lecture
- June 26th, lecture
- June 29th, tutorial/lecture
- July 6th, lecture
- July 10th, lecture
- July 13th, tutorial
Slides
Handouts
Exercise Sheets
References
- A. Møller and M.I. Schwartzbach. An Introduction to XML and Web Technologies. Addison-Wesley, 2006.
- L. Segoufin and V. Vianu. Validating Streaming XML Documents. Principles of Database Systems, Proceedings, pp. 53-64, ACM Press, 2002.
- M. Benedikt and C. Koch. XPath Leashed. ACM Computing Surveys 41(1):3, 2008.
- G. Gottlob, C. Koch, and R. Pichler. Efficient Algorithms for Processing XPath Queries. ACM Transactions on Database Systems 30(2):444-491, 2005.
- D. Olteanu, H. Meuss, T. Furche, and F. Bry. XPath: Looking Forward. Workshop on XML Data Management, Proceedings, LNCS 2490, pp. 109-127, Springer-Verlag, 2002.
- P.T. Wood. Minimising Simple XPath Expressions. Workshop on the Web and Databases, Proceedings, pp. 13-18, 2001.
- H. Hosoya, J. Vouillon, and B.C. Pierce. Regular expression types for XML. ACM Transactions on Programming Languages and Systems 27(1):46-90, 2005.
Online Resources
Last Updated: July 2009, Janis Voigtlaender.