Not logged in.
Quick Search - Contribution
Contribution Details
Type | Other Publication |
Scope | Discipline-based scholarship |
Title | Formal Foundation of Contribution Semantics and Provenance Computation through Query Rewrite in TRAMP |
Organization Unit | |
Authors |
|
How Published | |
Date | February 2010 |
Abstract Text | In this report we present the theoretical foundation of TRAMP. TRAMP is a schema mapping debugging system that uses provides provenance and query support as debugging functality for schema mappings scenarios. TRAMP is an extension of Perm, a relational provenance management system developed at University of Zurich. In this report we are not focussing on the debugging functionality added by TRAMP, but instead focus on the theoretical foundation of the provenance types provided by the system. In chapter 2 we present the contribution semantics for data provenance, transformation provenance, and mapping provenance used by TRAMP. Contribution semantics define which parts of the input (in case of data provenance) and which operators of a transformation (in case of transformation provenance) belong to the provenance of an output of a transformation. Thus, contribution semantics define ``what provenance actually is''. Based on the presented contribution semantics we demonstrate in chapter 3 how provenance according to these provenance types can be computed using algebraic rewrite techniques and proof the correctness and completeness of the algorithms used to compute provenance. |
PDF File | Download |
Export | BibTeX |