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...
Saved in:
Main Authors: | , |
---|---|
Other Authors: | |
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 |