research
∙
02/11/2022
Conservative Extensions for Existential Rules
We study the problem to decide, given sets T1,T2 of tuple-generating dep...
share
research
∙
12/23/2021
Determinacy of Real Conjunctive Queries. The Boolean Case
In their classical 1993 paper [CV93] Chaudhuri and Vardi notice that som...
research
∙
12/21/2020
A Journey to the Frontiers of Query Rewritability
This paper is about (first order) query rewritability in the context of ...
research
∙
01/12/2019
All-Instances Restricted Chase Termination: The Guarded Case
The chase procedure is a fundamental algorithmic tool in database theory...
research
∙
08/22/2018
The First Order Truth behind Undecidability of Regular Path Queries Determinacy
In our paper [GMO18] we have solved an old problem stated in [CGLV02] sh...
research
∙
02/05/2018
