A provenance tracking model for data apdates

Ciobanu, Gabriel and Horne, Ross (2012) A provenance tracking model for data apdates. EPTCS, 91. pp. 31-44. (https://doi.org/10.4204/eptcs.91.3)

Preview

Text. Filename: Ciobanu-Horne-EPTCS-2012-A-provenance-tracking-model-for-data-apdates.pdf Final Published Version License: Download (190kB)| Preview

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.

• Share and Export
  

  RDF+XMLBibTeXRIOXX2 XMLRDF+N-TriplesJSONDublin CoreAtomSimple MetadataReferMETSHTML CitationASCII CitationOpenURL ContextObjectEndNoteOpenURL ContextObject in SpanMODSMPEG-21 DIDLEP3 XMLData Cite XMLRIS (EndNote Online, Zotero, Ref manager, etc)RDF+N3Multiline CSV
• Item metadata

  Item type:	Article
  ID code:	87412
  Dates:	Date Event 22 August 2012 Published
  Subjects:	Science > Mathematics > Electronic computers. Computer science
  Department:	Faculty of Science > Computer and Information Sciences
  Depositing user:	Pure Administrator
  Date deposited:	22 Nov 2023 10:32
  Last modified:	11 Apr 2024 02:49
  URI:	https://strathprints.strath.ac.uk/id/eprint/87412