Containment of acyclic conjunctive queries with negated atoms or arithmetic comparisons.
Information Processing Letters(2017)
摘要
We study the containment problem for conjunctive queries (CQs) expanded with negated atoms or arithmetic comparisons. It is known that the problem is Π2P-complete [14], [16]. The aim of this article is to find restrictions on CQs that allow for tractable containment. In particular, we consider acyclic conjunctive queries. Even with the most restrictive form of acyclicity (Berge-acyclicity), containment is coNP-hard. But for a particular fragment of Berge-acyclic CQs with negated atoms or arithmetic comparisons —child-only tree patterns— containment is solvable in PTime.
更多查看译文
关键词
Databases,Query containment,Conjunctive query
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络