BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Memento EPFL//
BEGIN:VEVENT
SUMMARY:IC Monday Seminar : Provenance for Database Transformations
DTSTART:20110926T161500
DTSTAMP:20260407T194918Z
UID:e34c8674ba795c595614340986e16b3d97a5b48b791c800f5be67827
CATEGORIES:Conferences - Seminars
DESCRIPTION:Prof. Val Tannen\, University of Pennsylvania\, USA - Invited 
 by Prof. Christoph Koch\nAbstract This talk presents an approach to databa
 se provenance that relies on two observations. First provenance is a kind 
 of annotation and we can develop a general approach to annotation propaga
 tion that also covers other applications for example to uncertainty and ac
 cess control. In fact provenance turns out to be the most general kind of 
 such annotation in a precise and practically useful sense. Second the prop
 agation of annotation through a broad class of transformations relies on 
 just two operations: one when annotations are jointly used and one when t
 hey are used alternatively. This leads to annotations forming a specific 
 algebraic structure a commutative semiring. The semiring approach works fo
 r annotating tuples field values and attributes in standard relations in n
 ested relations (complex values) and for annotating nodes in (unordered) X
 ML. It works for transformations expressed in the positive fragment of re
 lational algebra nested relational calculus unordered XQuery as well as fo
 r Datalog GLAV schema mappings and tgd constraints. Finally when properly
  extended to semimodules it works for queries with aggregates. Specific se
 mirings correspond  to earlier approaches to provenance while others co
 rrespond to forms of uncertainty trust cost and access control. This is j
 oint work with  Y. Amsterdamer D. Deutch J.N. Foster T.J. Green  Z. Ives
  and G. Karvounarakis  done in part within the frameworks of the Orchest
 ra and pPOD projects. 
LOCATION:INM 202
STATUS:CONFIRMED
END:VEVENT
END:VCALENDAR