Please use this identifier to cite or link to this item:
https://hdl.handle.net/10356/80955
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. | URI: | https://hdl.handle.net/10356/80955 http://hdl.handle.net/10220/39009 |
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 |
Web of ScienceTM
Citations
50
4
Updated on Oct 27, 2023
Page view(s)
330
Updated on Dec 7, 2023
Download(s) 50
100
Updated on Dec 7, 2023
Google ScholarTM
Check
Altmetric
Items in DR-NTU are protected by copyright, with all rights reserved, unless otherwise indicated.