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