IC Monday Seminar : Provenance for Database Transformations
Event details
| Date | 26.09.2011 |
| Hour | 16:15 |
| Speaker | Prof. Val Tannen, University of Pennsylvania, USA - Invited by Prof. Christoph Koch |
| Location |
INM 202
|
| Category | Conferences - Seminars |
Abstract This talk presents an approach to database provenance that relies on two observations. First provenance is a kind of annotation and we can develop a general approach to annotation propagation that also covers other applications for example to uncertainty and access control. In fact provenance turns out to be the most general kind of such annotation in a precise and practically useful sense. Second the propagation of annotation through a broad class of transformations relies on just two operations: one when annotations are jointly used and one when they are used alternatively. This leads to annotations forming a specific algebraic structure a commutative semiring. The semiring approach works for annotating tuples field values and attributes in standard relations in nested relations (complex values) and for annotating nodes in (unordered) XML. It works for transformations expressed in the positive fragment of relational algebra nested relational calculus unordered XQuery as well as for Datalog GLAV schema mappings and tgd constraints. Finally when properly extended to semimodules it works for queries with aggregates. Specific semirings correspond to earlier approaches to provenance while others correspond to forms of uncertainty trust cost and access control. This is joint 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 Orchestra and pPOD projects.
Links
Practical information
- General public
- Free
Contact
- Simone Muller