Activities per year
Abstract
The annotation of the results of database transformations
was shown to be very effective for various applications.
Until recently, most works in this context focused on positive query languages. The provenance semirings is a particular approach that was proven effective for these languages, and it was shown that when propagating
provenance with semirings, the expected equivalence axioms of the corresponding query languages are satisfied.
There have been several attempts to extend the framework to account for relational algebra queries with difference. We show here that these suggestions fail to satisfy some expected equivalence axioms (that in particular hold for queries on “standard” set and bag databases). Interestingly, we show that this is not a pitfall of these particular attempts, but rather every such attempt is bound to fail in satisfying these axioms, for some semirings.
Finally, we show particular semirings for which an extension for supporting difference is (im)possible.
Original language | American English |
---|---|
State | Published - 2011 |
Event | TaPP 2011 - Heraklion, Crete, Greece Duration: 20 Jun 2011 → 21 Jun 2011 https://www.usenix.org/legacy/event/tapp11/ (Website) |
Conference
Conference | TaPP 2011 |
---|---|
Country/Territory | Greece |
City | Heraklion, Crete |
Period | 20/06/11 → 21/06/11 |
Internet address |
Fingerprint
Dive into the research topics of 'On the Limitations of Provenance for Queries With Difference'. Together they form a unique fingerprint.Activities
- 1 Invited talk
-
Conference Contributed
Amsterdamer, Y. (Invited speaker)
20 Jun 2011 → 21 Jun 2011Activity: Talk or presentation › Invited talk