Containment of acyclic conjunctive queries with negated atoms or arithmetic comparisons

We study the containment problem for conjunctive queries (CQs ) expanded with negated atoms or arithmetic comparisons. It is known that the problem is View the MathML source-complete [14] and [16]. The aim of this article is to find restrictions on CQs that allow for tractable containment. In parti...

תיאור מלא

מידע ביבליוגרפי
Main Authors: Sherkhonov, E, Marx, M
פורמט: Journal article
יצא לאור: Elsevier 2016