University of Birmingham > Talks@bham > Theoretical computer science seminar > Adventures in XML Updates

Adventures in XML Updates

Add to your list(s) Download to your calendar using vCal

If you have a question about this talk, please contact Paul Levy.

Over the last 10 years, members of the database, programming language and Web communities have developed a nice, purely functional (in parts) query language for tree-structured data called XQuery, including a formal semantics that is a (non-normative) W3C standard. Many people are now intent on adding imperative features so that tree-structured data can also be updated. Doing so can easily damage the existing advantages of XQuery. I’ll present some work on a clean, but not very expressive language called FLUX , and contrast it with the semantics of the W3C update proposal currently under development, focusing on the issue of typechecking. Time permitting I will also discuss more recent work on static analysis and optimization for the W3C language.

This talk is part of the Theoretical computer science seminar series.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.


Talks@bham, University of Birmingham. Contact Us | Help and Documentation | Privacy and Publicity.
talks@bham is based on from the University of Cambridge.