.png){kind=icon}
返回
When Does Naive Evaluation Work for Datalog?
.png){kind=icon}
PRE
AI
DOI：10.1007/978-3-032-08887-1_5.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
在不完整数据上的查询回答通常基于确定性答案的概念，包括所有可能完整数据库中出现在查询结果中的元组集合。计算确定性答案通常计算代价高昂，在许多情况下具有coNP-hard性甚至不可判定性的下界。一种可行的方法是朴素评估，它将空值视为新鲜常量并应用标准查询评估。虽然已知朴素评估对正Datalog计算确定性答案，但其对于更表达能力强的Datalog扩展的行为仍不太被理解。本文识别了Datalog的语法扩展，对于这些扩展，朴素评估可以计算确定性答案。
Keyword:
Incomplete data
Datalog
Certain answers
Preservation theorems
期刊
R
IF:
0
论文数:
15
被引数:
0
机构
引用论文
Complexity of answering queries using materialized views.png)
Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
OAAI
Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systemsIF0
OAAI分享收藏
查看更多内容