@inproceedings{d8bbdde46b1d4426b9663540458c83f3,
title = "Implementing unified why- and why-not provenance through games",
abstract = "Using provenance to explain why a query returns a result or why a result is missing has been studied extensively. However, the two types of questions have been approached independently of each other. We present an efficient technique for answering both types of questions for Datalog queries based on a game-theoretic model of provenance called provenance games. Our approach compiles provenance requests into Datalog and translates the resulting query into SQL to execute it on a relational database backend. We apply several novel optimizations to limit the computation to provenance relevant to a given user question.",
author = "Seokki Lee and Sven K{\"o}hler and Bertram Lud{\"a}scher and Boris Glavic",
note = "Publisher Copyright: {\textcopyright} Springer International Publishing Switzerland 2016.; 6th International Provenance and Annotation Workshop, IPAW 2016 ; Conference date: 07-06-2016 Through 08-06-2016",
year = "2016",
doi = "10.1007/978-3-319-40593-3_23",
language = "English (US)",
isbn = "9783319405926",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer",
pages = "209--213",
editor = "Boris Glavic and Marta Mattoso",
booktitle = "Provenance and Annotation of Data and Processes - 6th International Provenance and Annotation Workshop, IPAW 2016, Proceedings",
address = "Germany",
}