Please use this identifier to cite or link to this item:
Title: A Provenance Tracking Model for Data Updates
Authors: Ciobanu, Gabriel
Horne, Ross
Issue Date: 2012
Source: Ciobanu, G., & Horne, R. (2012). A Provenance Tracking Model for Data Updates. Proceedings 11th International Workshop on Foundations of Coordination Languages and Self Adaptation (FOCLASA 2012), Electronic Proceedings in Theoretical Computer Science, 91, 31-44.
metadata.dc.contributor.conference: International Workshop on Foundations of Coordination Languages and Self Adaptation (11th: 2012: Newcastle, U.K.)
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.
DOI: 10.4204/EPTCS.91.3
Schools: School of Computer Engineering 
Rights: © 2012 G. Ciobanu & R. Horne. This work is licensed under the Creative Commons Attribution License.
Fulltext Permission: open
Fulltext Availability: With Fulltext
Appears in Collections:SCSE Conference Papers

Files in This Item:
File Description SizeFormat 
dag.pdf243.4 kBAdobe PDFThumbnail

Web of ScienceTM
Citations 50

Updated on Oct 27, 2023

Page view(s)

Updated on Dec 7, 2023

Download(s) 50

Updated on Dec 7, 2023

Google ScholarTM




Items in DR-NTU are protected by copyright, with all rights reserved, unless otherwise indicated.