Language-integrated provenance in Links

James Cheney, Stefan Fehrenbach

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


Today’s programming languages provide no support for data provenance. In a world that increasingly relies on data, we need provenance to judge the reliability of data and therefore should aim for making it easily accessible to programmers. We report our work in progress on an extension to the Links programming language that builds on its support for language-integrated query to support where-provenance queries through query rewriting and a type system extension that distinguishes provenance metadata from other data. Our approach aims to work solely within the language implementation and thus require no changes to the database system. The type system together with automatic propagation of provenance metadata will prevent programmers from accidentally changing provenance, losing it, or misattributing it to other data.
Original languageEnglish
Title of host publicationWorkshop on Theory and Practice of Provenance (TaPP 2015)
PublisherUSENIX Association
Number of pages6
Publication statusPublished - 10 Jul 2015
EventWorkshop on Theory and Practice of Provenance (TaPP 2015) - Edinburgh , United Kingdom
Duration: 8 Jul 20159 Jul 2015


WorkshopWorkshop on Theory and Practice of Provenance (TaPP 2015)
CountryUnited Kingdom

Fingerprint Dive into the research topics of 'Language-integrated provenance in Links'. Together they form a unique fingerprint.

Cite this