research
∙
09/29/2022
A dichotomy for succinct representations of homomorphisms
The task of computing homomorphisms between two finite relational struct...
share
research
∙
03/02/2020
Constant delay enumeration with FPT-preprocessing for conjunctive queries of bounded submodular width
Marx (STOC 2010, J. ACM 2013) introduced the notion of submodular width ...
research
∙
12/23/2019
Answering (Unions of) Conjunctive Queries using Random Access and Random-Order Enumeration
As data analytics becomes more crucial to digital systems, so grows the ...
research
∙
09/28/2017
Answering UCQs under updates and in the presence of integrity constraints
We investigate the query evaluation problem for fixed queries over fully...
research
∙
06/18/2014
The Propagation Depth of Local Consistency
We establish optimal bounds on the number of nested propagation steps in...
research
∙
03/28/2013