Please use this identifier to cite or link to this item:
https://hdl.handle.net/10356/80955
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Ciobanu, Gabriel | en |
dc.contributor.author | Horne, Ross | en |
dc.date.accessioned | 2015-12-09T03:13:54Z | en |
dc.date.accessioned | 2019-12-06T14:18:14Z | - |
dc.date.available | 2015-12-09T03:13:54Z | en |
dc.date.available | 2019-12-06T14:18:14Z | - |
dc.date.issued | 2012 | en |
dc.identifier.citation | 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. | en |
dc.identifier.uri | https://hdl.handle.net/10356/80955 | - |
dc.description.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. | en |
dc.language.iso | en | en |
dc.rights | © 2012 G. Ciobanu & R. Horne. This work is licensed under the Creative Commons Attribution License. | en |
dc.title | A Provenance Tracking Model for Data Updates | en |
dc.type | Conference Paper | en |
dc.contributor.school | School of Computer Engineering | en |
dc.contributor.conference | International Workshop on Foundations of Coordination Languages and Self Adaptation (11th: 2012: Newcastle, U.K.) | en |
dc.identifier.doi | 10.4204/EPTCS.91.3 | en |
dc.description.version | Accepted version | en |
item.fulltext | With Fulltext | - |
item.grantfulltext | open | - |
Appears in Collections: | SCSE Conference Papers |
Web of ScienceTM
Citations
50
4
Updated on Oct 27, 2023
Page view(s)
353
Updated on Mar 28, 2024
Download(s) 50
109
Updated on Mar 28, 2024
Google ScholarTM
Check
Altmetric
Items in DR-NTU are protected by copyright, with all rights reserved, unless otherwise indicated.