Edinburgh Research Explorer

On the Expressiveness of Implicit Provenance in Query and Update Languages.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Related Edinburgh Organisations

Open Access permissions

Open

Documents

http://link.springer.com/chapter/10.1007%2F11965893_15
Original languageEnglish
Title of host publicationDatabase Theory – ICDT 2007
Subtitle of host publication11th International Conference, Barcelona, Spain, January 10-12, 2007. Proceedings
EditorsThomas Schwentick, Dan Suciu
PublisherSpringer Physica
Pages209-223
Number of pages15
Volume4353
ISBN (Electronic)978-3-540-69270-6
ISBN (Print)978-3-540-69269-0
DOIs
Publication statusPublished - 2007

Publication series

NameLecture Notes in Computer Science
PublisherSpringer

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.

Download statistics

No data available

ID: 16502460