Language-integrated provenance by trace analysis

Stefan Fehrenbach, James Cheney

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

Abstract / Description of output

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
Number of pages24
ISBN (Print)978-1-4503-6718-9
Publication statusPublished - 23 Jun 2019
Event17th International Symposium on Database Programming Languages - Phoenix, United States
Duration: 23 Jun 201923 Jun 2019


Symposium17th International Symposium on Database Programming Languages
Abbreviated titleDBPL 2019
Country/TerritoryUnited States
Internet address

Keywords / Materials (for Non-textual outputs)

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


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

Cite this