## IIT Database Group

### Abstract

We reconsider some of the explicit and implicit properties that underlie well-established definitions of data provenance semantics. Previous work on comparing provenance semantics has mostly focused on expressive power (does the provenance generated by a certain semantics subsume the provenance generated by other semantics) and on understanding whether a semantics is insensitive to query rewrite (i.e., do equivalent queries have the same provenance). In contrast, we try to investigate why certain semantics possess specific properties (like insensitivity) and whether these properties are always desirable. We present a new property stability with respect to query language extension that, to the best of our knowledge, has not been isolated and studied on its own.

### bibtex

@inproceedings{GM11,
author = {Glavic, Boris and Miller, Ren\'{e}e J.},
booktitle = {Proceedings of the 3rd USENIX Workshop on the Theory and Practice of Provenance},
date-modified = {2012-12-18 17:17:10 +0000},
isworkshop = {true},
keywords = {Provenance},
pdfurl = {http://cs.iit.edu/%7edbgroup/assets/pdfpubls/GM11.pdf},
slideurl = {http://www.slideshare.net/lordPretzel/tapp-2014-talk-boris-41165865},
title = {{Reexamining Some Holy Grails of Data Provenance}},
venueshort = {TaPP},
year = {2011},
bdsk-url-1 = {http://cs.iit.edu/%7edbgroup/assets/pdfpubls/GM11.pdf}
}


### Reference

Reexamining Some Holy Grails of Data Provenance Boris Glavic and Renée J. Miller Proceedings of the 3rd USENIX Workshop on the Theory and Practice of Provenance (2011).