Edinburgh Research Explorer

Language-integrated provenance

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

Related Edinburgh Organisations

Open Access permissions

Open

Documents

http://dl.acm.org/citation.cfm?doid=2967973.2968604
Original languageEnglish
Title of host publicationPPDP '16 Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming
Place of PublicationNew York, NY, USA
PublisherACM
Pages214-227
Number of pages14
ISBN (Electronic)978-1-4503-4148-6
DOIs
Publication statusPublished - 7 Sep 2016
Event18th International Symposium on Principles and Practice of Declarative Programming - Edinburgh, United Kingdom
Duration: 5 Sep 20167 Sep 2016
http://ppdp16.webs.upv.es/

Publication series

NamePPDP'16
PublisherACM

Conference

Conference18th International Symposium on Principles and Practice of Declarative Programming
Abbreviated titlePPDP 2016
CountryUnited Kingdom
CityEdinburgh
Period5/09/167/09/16
Internet address

Abstract

Provenance, or information about the origin or derivation of data, is important for assessing the trustworthiness of data and identifying and correcting mistakes. Most prior implementations of data provenance have involved heavyweight modifications to database systems and little attention has been paid to how the provenance data can be used outside such a system. We present extensions to the Links programming language that build on its support for language-integrated query to support provenance queries by rewriting and normalizing monadic comprehensions and extending the type system to distinguish provenance metadata from normal data. The main contribution of this paper is to show that the two most common forms of provenance can be implemented efficiently and used safely as a programming language feature with no changes to the database system.

    Research areas

  • cs.PL, cs.DB

Event

18th International Symposium on Principles and Practice of Declarative Programming

5/09/167/09/16

Edinburgh, United Kingdom

Event: Conference

Download statistics

No data available

ID: 26620927