Querying the guarded fragment with transitivity
ICALP (2), pp. 287-298, 2013.
guarded fragmentdata complexitytransitive guardtwo-variable fragmentlogical theoryMore(5+)
We study the problem of answering a union of Boolean conjunctive queries q against a database Δ, and a logical theory ϕ which falls in the guarded fragment with transitive guards (GF + TG). We trace the frontier between decidability and undecidability of the problem under consideration. Surprisingly, we show that query answering under GF2...More
Full Text (Upload PDF)
PPT (Upload PPT)