Semantics, Types and Effects for XML Updates

Michael Benedikt, James Cheney

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract / Description of output

The W3C recently released the XQuery Update Facility 1.0, a Candidate Recommendation for an XML update language. It appears likely that this proposal will become standard. XQuery has been equip- ped with a formal semantics and sound type system, but there has been little work on static analysis or typechecking of XML updates, and the typing rules in the current W3C proposal appear unsound for “transform” queries that perform embedded updates. In this paper, we investigate the problem of schema alteration, or synthesizing an output schema describing the result of an update applied to a given input schema. We review regular expression type systems for XQuery, present a core language and semantics for W3C-style XML updates, and develop an effect analysis and schema alteration, which can be used as the basis for sound typechecking for queries involving “transform”.
Original languageEnglish
Title of host publicationDatabase Programming Languages
Subtitle of host publication12th International Symposium, DBPL 2009, Lyon, France, August 23-24, 2009. Proceedings
EditorsPhilippa Gardner, Floris Geerts
PublisherSpringer Berlin Heidelberg
Number of pages17
ISBN (Electronic)978-3-642-03793-1
ISBN (Print)978-3-642-03792-4
Publication statusPublished - 2009

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Berlin Heidelberg


Dive into the research topics of 'Semantics, Types and Effects for XML Updates'. Together they form a unique fingerprint.

Cite this