In this paper we provide further evidence for this, establishing that GNFO queries have distinctive features with respect to rewriting.

The Guarded Negation Fragment (GNFO) is a fragment of first-order logic that contains all unions of conjunctive queries, a restricted form of negation that ...

Lost model theory of FO shatters in the finite. (compactness, interpolation, preservation theorems, etc.) Fancy a different logic...? Bárány-Benedikt-ten Cate ...

The guarded negation fragment (GNFO) is a fragment of first-order logic that contains all unions of conjunctive queries, a restricted form of negation that ...

The Guarded Negation Fragment (GNFO) is a fragment of first-order logic that contains all unions of conjunctive queries, a restricted form of negation that ...

We consider restrictions of first-order logic and of fixpoint logic in which all occurrences of negation are required to be guarded by an atomic predicate.

The Guarded Negation Fragment (GNFO) is a fragment of first-order logic that contains all unions of conjunctive queries, a restricted form of negation that ...

We consider restrictions of first-order logic and of fixpoint logic in which all occurrences of negation are required to be guarded by an atomic predicate.

What are Guarded Negation Logics? The Guarded Negation Fragment (GNFO) is a decidable fragment of first-order logic that extends the Guarded Fragment (GF), ...

The chase is a procedure that enforces the satisfaction of TGDs by the addition of suitable tuples. For example, consider an instance D consisting of the atoms.