A provenance tracking model for data apdates

Ciobanu, Gabriel and Horne, Ross (2012) A provenance tracking model for data apdates. Electronic Proceedings in Theoretical Computer Science, 91. pp. 31-44. (https://doi.org/10.4204/eptcs.91.3)

[thumbnail of Ciobanu-Horne-EPTCS-2012-A-provenance-tracking-model-for-data-apdates]
Preview
 Text. Filename: Ciobanu-Horne-EPTCS-2012-A-provenance-tracking-model-for-data-apdates.pdf
Final Published Version
License: Creative Commons Attribution 4.0 logo
Download (190kB)| Preview

Abstract

For data-centric systems, provenance tracking is particularly important when the system is open and decentralised, such as the Web of Linked Data. In this paper, a concise but expressive calculus which models data updates is presented. The calculus is used to provide an operational semantics for a system where data and updates interact concurrently. The operational semantics of the calculus also tracks the provenance of data with respect to updates. This provides a new formal semantics extending provenance diagrams which takes into account the execution of processes in a concurrent setting. Moreover, a sound and complete model for the calculus based on ideals of series-parallel DAGs is provided. The notion of provenance introduced can be used as a subjective indicator of the quality of data in concurrent interacting systems.

ORCID iDs

Ciobanu, Gabriel and Horne, Ross ORCID logoORCID: https://orcid.org/0000-0003-0162-1901;
CORE (COnnecting REpositories)