A Provenance Tracking Model for Data Updates
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 s...
Saved in:
Main Authors: | Ciobanu, Gabriel, Horne, Ross |
---|---|
其他作者: | School of Computer Engineering |
格式: | Conference or Workshop Item |
語言: | English |
出版: |
2015
|
在線閱讀: | https://hdl.handle.net/10356/80955 http://hdl.handle.net/10220/39009 |
標簽: |
添加標簽
沒有標簽, 成為第一個標記此記錄!
|
機構: | Nanyang Technological University |
語言: | English |
相似書籍
-
Tracing where and who provenance in Linked Data: A calculus
由: Dezani-Ciancaglini, Mariangiola, et al.
出版: (2015) -
Descriptive Types for Linked Data Resources
由: Horne, Ross, et al.
出版: (2015) -
Minimal type inference for Linked Data consumers
由: Ciobanu, Gabriel, et al.
出版: (2015) -
Non-Interleaving Operational Semantics for Geographically Replicated Databases
由: Ciobanu, Gabriel, et al.
出版: (2015) -
A descriptive type foundation for RDF Schema
由: Ciobanu, Gabriel, et al.
出版: (2016)