Datalog as a Lingua Franca for Provenance Querying and Reasoning

Datalog as a Lingua Franca for Provenance Querying and Reasoning
复制标题

数据记录作为来源查询和推理的通用语言

DOI：
--
复制
发表时间：
2012
期刊：
Workshop on the Theory and Practice of Provenance
影响因子：
--
通讯作者：
Bertram Ludäscher
Bertram Ludäscher
中科院分区：
--
文献类型：
--
作者：
Saumen C. Dey;Sven Köhler;S. Bowers;Bertram Ludäscher

文献摘要

参考文献

被引文献

相似文献

The Open Provenance Model (OPM) [20] provides a small, extensible core for representing and exchanging provenance information in a technology-neutral manner. By design, OPM is a least common denominator, leaving aside certain aspects, including how to query provenance information. Similarly, OPM comes with a set of inference rules (e.g., for transitively closing some relations, or for stating temporal constraints that are implied by provenance assertions), but as pointed out by [15], the temporal semantics of OPM graphs is only partially defined in [20], leading to ambiguous or incompletely specified situations.
A Graph Model of Data and Workflow Provenance
DOI： --
发表时间： 2010-02
期刊： --
影响因子： --
作者：
Umut A. Acar;P. Buneman;J. Cheney;J. V. D. Bussche;Natalia Kwasnikowska;Stijn Vansummeren
通讯作者： Umut A. Acar;P. Buneman;J. Cheney;J. V. D. Bussche;Natalia Kwasnikowska;Stijn Vansummeren