Querying the guarded fragment with transitivity

    ICALP (2), pp. 287-298, 2013.

    Cited by: 18|Bibtex|Views0|Links
    EI
    Keywords:
    guarded fragmentdata complexitytransitive guardtwo-variable fragmentlogical theoryMore(5+)

    Abstract:

    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

    Code:

    Data:

    Your rating :
    0

     

    Tags
    Comments