Please use this identifier to cite or link to this item: https://hdl.handle.net/10356/80955
Full metadata record
DC FieldValueLanguage
dc.contributor.authorCiobanu, Gabrielen
dc.contributor.authorHorne, Rossen
dc.date.accessioned2015-12-09T03:13:54Zen
dc.date.accessioned2019-12-06T14:18:14Z-
dc.date.available2015-12-09T03:13:54Zen
dc.date.available2019-12-06T14:18:14Z-
dc.date.issued2012en
dc.identifier.citationCiobanu, 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.urihttps://hdl.handle.net/10356/80955-
dc.description.abstractFor 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.isoenen
dc.rights© 2012 G. Ciobanu & R. Horne. This work is licensed under the Creative Commons Attribution License.en
dc.titleA Provenance Tracking Model for Data Updatesen
dc.typeConference Paperen
dc.contributor.schoolSchool of Computer Engineeringen
dc.contributor.conferenceInternational Workshop on Foundations of Coordination Languages and Self Adaptation (11th: 2012: Newcastle, U.K.)en
dc.identifier.doi10.4204/EPTCS.91.3en
dc.description.versionAccepted versionen
item.grantfulltextopen-
item.fulltextWith Fulltext-
Appears in Collections:SCSE Conference Papers
Files in This Item:
File Description SizeFormat 
dag.pdf243.4 kBAdobe PDFThumbnail
View/Open

PublonsTM
Citations 20

4
Updated on Mar 4, 2021

Page view(s)

245
Updated on Aug 14, 2022

Download(s) 50

74
Updated on Aug 14, 2022

Google ScholarTM

Check

Altmetric


Plumx

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