On the Expressiveness of Implicit Provenance in Query and Update Languages

  • Peter Buneman
  • James Cheney
  • Stijn Vansummeren
Conference paper

DOI: 10.1007/11965893_15

Part of the Lecture Notes in Computer Science book series (LNCS, volume 4353)
Cite this paper as:
Buneman P., Cheney J., Vansummeren S. (2006) On the Expressiveness of Implicit Provenance in Query and Update Languages. In: Schwentick T., Suciu D. (eds) Database Theory – ICDT 2007. ICDT 2007. Lecture Notes in Computer Science, vol 4353. Springer, Berlin, Heidelberg

Abstract

Information concerning the origin of data (that is, its provenance) is important in many areas, especially scientific recordkeeping. Currently, provenance information must be maintained explicitly, by added effort of the database maintainer. Since such maintenance is tedious and error-prone, it is desirable to provide support for provenance in the database system itself. In order to provide such support, however, it is important to provide a clear explanation of the behavior and meaning of existing database operations, both queries and updates, with respect to provenance. In this paper we take the view that a query or update implicitly defines a provenance mapping linking components of the output to the originating components in the input. Our key result is that the proposed semantics are expressively complete relative to natural classes of queries that explicitly manipulate provenance.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Peter Buneman
    • 1
  • James Cheney
    • 1
  • Stijn Vansummeren
    • 2
  1. 1.University of EdinburghScotland
  2. 2.Hasselt University and Transnational University of LimburgBelgium

Personalised recommendations