Projects per year
Abstract / Description of output
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.
Original language | English |
---|---|
Title of host publication | PPDP '16 Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming |
Place of Publication | New York, NY, USA |
Publisher | ACM |
Pages | 214-227 |
Number of pages | 14 |
ISBN (Electronic) | 978-1-4503-4148-6 |
DOIs | |
Publication status | Published - 7 Sept 2016 |
Event | 18th International Symposium on Principles and Practice of Declarative Programming - Edinburgh, United Kingdom Duration: 5 Sept 2016 → 7 Sept 2016 http://ppdp16.webs.upv.es/ |
Publication series
Name | PPDP'16 |
---|---|
Publisher | ACM |
Conference
Conference | 18th International Symposium on Principles and Practice of Declarative Programming |
---|---|
Abbreviated title | PPDP 2016 |
Country/Territory | United Kingdom |
City | Edinburgh |
Period | 5/09/16 → 7/09/16 |
Internet address |
Keywords / Materials (for Non-textual outputs)
- cs.PL
- cs.DB
Fingerprint
Dive into the research topics of 'Language-integrated provenance'. Together they form a unique fingerprint.Projects
- 1 Finished
-
DIACHRON - Managing the Evolution and Preservation of the Data Webb (RTD)
Viglas, S., Buneman, P. & Cheney, J.
1/04/13 → 31/03/16
Project: Research