We consider the issue of answering unions of conjunctive queries (UCQs) ...
We study the notion of boundedness in the context of positive existentia...
Existential rules are a positive fragment of first-order logic that
gene...
The chase is a fundamental tool for existential rules. Several chase var...
Existential rules, long known as tuple-generating dependencies in databa...