Adventures in XML Updates

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

• James Cheney, University of Edinburgh
• Friday 04 February 2011, 16:00-17:00
• UG40 Computer Science.

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.

This talk is included in these lists:

• Computer Science Departmental Series
• Computer Science Distinguished Seminars
• Theoretical computer science seminar
• UG40 Computer Science
• computer sience

Note that ex-directory lists are not shown.