Advertisement
Published in:
2016 | OriginalPaper | Chapter
Implementing Unified Why- and Why-Not Provenance Through Games
Authors : Seokki Lee, Sven Köhler, Bertram Ludäscher, Boris Glavic
Published in: Provenance and Annotation of Data and Processes
Publisher: Springer International Publishing
Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. powered by
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.