Language-integrated provenance by trace analysis

Stefan Fehrenbach, James Cheney

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

Abstract

Language-integrated provenance builds on language-integrated query techniques to make provenance information explaining query results readily available to programmers. In previous work we have explored language-integrated approaches to provenance in Links and Haskell. However, implementing a new form of provenance in a language-integrated way is still a major challenge. We propose a self-tracing transformation and trace analysis features that, together with existing techniques for type-directed generic programming, make it possible to define different forms of provenance as user code. We present our design as an extension to a core language for Links called LinksT, give examples showing its capabilities, and outline its metatheory and key correctness properties.
Original languageEnglish
Title of host publicationProceedings of The 17th International Symposium on Database Programming Languages
Place of PublicationNew York
PublisherACM
Pages74-84
Number of pages24
ISBN (Print)978-1-4503-6718-9
DOIs
Publication statusPublished - 23 Jun 2019
Event17th International Symposium on Database Programming Languages - Phoenix, United States
Duration: 23 Jun 201923 Jun 2019
https://pldi19.sigplan.org/track/dbpl-2019-papers#About

Symposium

Symposium17th International Symposium on Database Programming Languages
Abbreviated titleDBPL 2019
CountryUnited States
CityPhoenix
Period23/06/1923/06/19
Internet address

Keywords

  • language-integrated provenance
  • language-integrated query
  • query normalization
  • provenance

Fingerprint Dive into the research topics of 'Language-integrated provenance by trace analysis'. Together they form a unique fingerprint.

Cite this