Skip to main content
SpringerLink
Log in

Implementing Unified Why- and Why-Not Provenance Through Games

  • Conference paper
  • First Online:
Provenance and Annotation of Data and Processes (IPAW 2016)

Part of the book series: Lecture Notes in Computer Science ((LNISA,volume 9672))

Included in the following conference series:

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Notes

  1. 1.

    Intuitively, asking why a tuple t is absent from Q is equivalent to explaining why t is present in \(\lnot Q\). Thus, a provenance model with support for negation in queries enables why and why-not questions to be treated uniformly.

References

  1. Arab, B., Gawlick, D., Radhakrishnan, V., Guo, H., Glavic, B.: A generic provenance middleware for database queries, updates, and transactions. In: Tapp (2014)

    Google Scholar 

  2. Green, T., Karvounarakis, G., Tannen, V.: Provenance semirings. In: PODS. pp. 31–40 (2007)

    Google Scholar 

  3. Köhler, S., Ludäscher, B., Zinn, D.: First-order provenance games. In: Tannen, V., Wong, L., Libkin, L., Fan, W., Tan, W.-C., Fourman, M. (eds.) Buneman Festschrift 2013. LNCS, vol. 8000, pp. 382–399. Springer, Heidelberg (2013)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Illinois Institute of Technology, Chicago, USA

    Seokki Lee & Boris Glavic

  2. University of California, Davis, Davis, USA

    Sven Köhler

  3. University of Illinois at Urbana-Champaign, Champaign, USA

    Bertram Ludäscher

Authors
  1. Seokki Lee
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Sven Köhler
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Bertram Ludäscher
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Boris Glavic
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Seokki Lee .

Editor information

Editors and Affiliations

  1. COPPE/UFRJ, Rio de Janeiro, Brazil

    Marta Mattoso

  2. Illinois Institute of Technology, Chicago, Illinois, USA

    Boris Glavic

Rights and permissions

Reprints and permissions

Copyright information

© 2016 Springer International Publishing Switzerland

About this paper

Cite this paper

Lee, S., Köhler, S., Ludäscher, B., Glavic, B. (2016). Implementing Unified Why- and Why-Not Provenance Through Games. In: Mattoso, M., Glavic, B. (eds) Provenance and Annotation of Data and Processes. IPAW 2016. Lecture Notes in Computer Science(), vol 9672. Springer, Cham. https://doi.org/10.1007/978-3-319-40593-3_23

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-40593-3_23

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-40592-6

  • Online ISBN: 978-3-319-40593-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation