dc.contributor.authorCiobanu, Gabriel
dc.contributor.authorHorne, Ross
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_US
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_US
dc.rights© 2012 G. Ciobanu & R. Horne. This work is licensed under the Creative Commons Attribution License.en_US
dc.titleA Provenance Tracking Model for Data Updatesen_US
dc.typeConference Paper
dc.contributor.conferenceInternational Workshop on Foundations of Coordination Languages and Self Adaptation (11th: 2012: Newcastle, U.K.)en_US
dc.contributor.schoolSchool of Computer Engineeringen_US
dc.description.versionAccepted versionen_US

Files in this item


This item appears in the following Collection(s)

Show simple item record