A Provenance Tracking Model for Data Updates

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 s...

Full description

Saved in:
Bibliographic Details
Main Authors: Ciobanu, Gabriel, Horne, Ross
Other Authors: School of Computer Engineering
Format: Conference or Workshop Item
Language:English
Published: 2015
Online Access:https://hdl.handle.net/10356/80955
http://hdl.handle.net/10220/39009
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: Nanyang Technological University
Language: English
id sg-ntu-dr.10356-80955
record_format dspace
spelling sg-ntu-dr.10356-809552020-05-28T07:18:34Z A Provenance Tracking Model for Data Updates Ciobanu, Gabriel Horne, Ross School of Computer Engineering International Workshop on Foundations of Coordination Languages and Self Adaptation (11th: 2012: Newcastle, U.K.) 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. Accepted version 2015-12-09T03:13:54Z 2019-12-06T14:18:14Z 2015-12-09T03:13:54Z 2019-12-06T14:18:14Z 2012 Conference Paper 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. https://hdl.handle.net/10356/80955 http://hdl.handle.net/10220/39009 10.4204/EPTCS.91.3 en © 2012 G. Ciobanu & R. Horne. This work is licensed under the Creative Commons Attribution License. application/pdf
institution Nanyang Technological University
building NTU Library
country Singapore
collection DR-NTU
language English
description 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.
author2 School of Computer Engineering
author_facet School of Computer Engineering
Ciobanu, Gabriel
Horne, Ross
format Conference or Workshop Item
author Ciobanu, Gabriel
Horne, Ross
spellingShingle Ciobanu, Gabriel
Horne, Ross
A Provenance Tracking Model for Data Updates
author_sort Ciobanu, Gabriel
title A Provenance Tracking Model for Data Updates
title_short A Provenance Tracking Model for Data Updates
title_full A Provenance Tracking Model for Data Updates
title_fullStr A Provenance Tracking Model for Data Updates
title_full_unstemmed A Provenance Tracking Model for Data Updates
title_sort provenance tracking model for data updates
publishDate 2015
url https://hdl.handle.net/10356/80955
http://hdl.handle.net/10220/39009
_version_ 1681058058211426304