.png){kind=icon}
返回
Validating Data Provenance Polynomials
.png){kind=icon}
PRE
AI
DOI：10.1007/978-3-032-05727-3_15.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
本文提出了一种与文献中提出的半环和半模形式化方法兼容的溯源多项式验证器。验证内容包括检查所有条目是否有效以及选择-投影-连接-并集-聚合（SPJUA）操作和带有子查询的复杂查询中的注释是否存在缺失条目。该方法不依赖于任何特定的数据库管理系统（DBMS），并已用于验证两个框架在TPC-H基准查询上生成的溯源注释。据我们所知，这是首个专门设计用于验证溯源多项式的解决方案。
Keyword:
Data Provenance
Provenance Polynomials
Validation
期刊
N
IF:
0
论文数:
45
被引数:
0
机构
引用论文
分享收藏
分享收藏Provenance for aggregate queries.png)
Proceedings of the thirtieth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
OAAI
Proceedings of the thirtieth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systemsIF0
OAAI分享收藏Provenance semiringsProceedings of the twenty-sixth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Proceedings of the twenty-sixth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systemsIF0
PREAI
分享收藏 没有更多内容
没有更多内容