Antoine Amarilli ; Michael Benedikt - Tighter Bounds for Query Answering with Guarded TGDs

lmcs:17617 - Logical Methods in Computer Science, April 21, 2026, Volume 22, Issue 2 - https://doi.org/10.46298/lmcs-22(2:8)2026
Tighter Bounds for Query Answering with Guarded TGDsArticle

Authors: Antoine Amarilli ; Michael Benedikt

We consider the complexity of the open-world query answering problem, where we wish to determine certain answers to conjunctive queries over incomplete datasets specified by an initial set of facts and a set of guarded TGDs. This problem has been well-studied in the literature and is decidable but with a high complexity, namely, it is 2EXPTIME complete. Further, the complexity shrinks by one exponential when the arity is fixed.

We show in this paper how we can obtain better complexity bounds when considering separately the arity of the guard atom and that of the additional atoms, called the side signature. Our results make use of the technique of linearizing guarded TGDs, introduced in Gottlob, Manna, and Pieris. Specifically, we present a variant of the linearization process, making use of a restricted version of the chase that we recently introduced. Our results imply that open-world query answering with guarded TGDs can be solved in EXPTIME with arbitrary-arity guard relations if we simply bound the arity of the side signature; and that the complexity drops to NP if we fix the side signature and bound the width of the dependencies.


Volume: Volume 22, Issue 2
Published on: April 21, 2026
Accepted on: March 2, 2026
Submitted on: March 2, 2026
Keywords: Logic in Computer Science