含算术比较时查询包含与确定答案计算的复杂性
数据库
2020-11-19 v3
摘要
我们常添加算术以扩展查询语言的表达力，并研究诸如在利用视图回答查询框架下测试查询包含与求确定答案等问题的复杂性。当加入算术比较时，此类问题的复杂性高于无算术比较的对应问题。已观察到，若将包含查询中的部分比较限制为闭或半开区间比较，则可获得更低复杂性。此处我们关注：a) 含算术比较的合取查询（简称 CQAC 查询）的包含问题，证明其计算复杂性的上界；b) 确定答案计算问题，找出该问题为多项式时间的 CQAC 查询与视图的大类。
引用
@article{arxiv.2008.10986,
title = {On the complexity of query containment and computing certain answers in the presence of ACs},
author = {Foto N. Afrati and Matthew Damigos},
journal= {arXiv preprint arXiv:2008.10986},
year = {2020}
}