research
∙
07/06/2023
Querying Data Exchange Settings Beyond Positive Queries
Data exchange, the problem of transferring data from a source schema to ...
share
research
∙
03/22/2023
Semi-Oblivious Chase Termination for Linear Existential Rules: An Experimental Study
The chase procedure is a fundamental algorithmic tool in databases that ...
research
∙
03/22/2023
The Complexity of Why-Provenance for Datalog Queries
Explaining why a database query result is obtained is an essential task ...
research
∙
04/22/2022
Uniform Operational Consistent Query Answering
Operational consistent query answering (CQA) is a recent framework for C...
research
∙
04/22/2022
Non-Uniformly Terminating Chase: Size and Complexity
The chase procedure, originally introduced for checking implication of d...
research
∙
12/17/2021
Counting Database Repairs Entailing a Query: The Case of Functional Dependencies
A key task in the context of consistent query answering is to count the ...
research
∙
12/13/2015