Rewriting Guarded Existential Rules into Small Datalog Programs
ICDT, pp. 4:1-4:24, 2018.
The goal of this paper is to understand the relative expressiveness of the query language in which queries are specified by a set of guarded (disjunctive) tuple-generating dependencies (TGDs) and an output (or u0027answeru0027) predicate. Our main result is to show that every such query can be translated into a polynomially-sized (disjun...More
Full Text (Upload PDF)
PPT (Upload PPT)