Campus Event Calendar
Event Entry
What and Who
XML Updates: Semantics, Optimization and Static Analysis
Angela Bonifati
Italian National Research Council
Informatik-Kolloquium
AG 1, AG 2, AG 3, AG 4, AG 5
Expert Audience
-- Not specified --
Note: We use this to send email in the morning.
Date, Time and Location
Friday, 12 May 2006
14:00
-- Not specified --
E1 3 - Hörsaal Gebäude
001
Saarbrücken
Abstract
XML Updates: Semantics, Optimization and Static Analysis
Several language proposals based on extensions of XQuery
have been put forward in the research and standards community.
Many proposals center around the so called 'snapshot' semantics, i.e. a
two-stage execution process, in which query evaluation is performed first,
after which a generated sequence of concrete updates is applied in a fixed
order determined by query output. This results in a clean deterministic
semantics which facilitates analysis.
A drawback is that sometimes a more expressive language is needed that
gives control on when the updates are applied. This has led to define
alternative semantics. We focus on deciding the equivalence of these
alternative semantics to the snapshot semantics.
We formalize this notion, which we call Binding Independence and give a
static analysis algorithm for deciding whether an update statement is
binding independent. We show that the problem can be eventually reduced to
satisfiability of XPath expressions.
Experiments on the implementation of this analysis, on top of Galax, show
that the overhead is minimal.
Joint work with M. Benedikt, S. Flesca and A. Vyas
Contact
Christina Fries
--email hidden
passcode not visible
logged in users only
Brigitta Hansen, 05/08/2006 13:30 -- Created document.