research
∙
06/15/2020
Oblivious and Semi-Oblivious Boundedness for Existential Rules
We study the notion of boundedness in the context of positive existentia...
share
research
∙
04/21/2020
Characterizing Boundedness in Chase Variants
Existential rules are a positive fragment of first-order logic that gene...
research
∙
10/22/2018
On the k-Boundedness for Existential Rules
The chase is a fundamental tool for existential rules. Several chase var...
research
∙
10/04/2018