Revisiting Semiring Provenance for Datalog.

Camille Bourgaux,Pierre Bourhis,Liat Peterfreund,Michael Thomazo

International Conference on Principles of Knowledge Representation and Reasoning（2022）

引用 7|浏览11

暂无评分

摘要

In this work, we propose and investigate several provenance semantics, based on different approaches for defining classical Datalog semantics. We study the relationship between these semantics, and introduce properties that allow us to analyze and compare them.

查看译文

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要