research
∙
03/20/2023
Counting Homomorphisms from Hypergraphs of Bounded Generalised Hypertree Width: A Logical Characterisation
We introduce the 2-sorted counting logic GC^k that expresses properties ...
share
research
∙
01/25/2021
Spanner Evaluation over SLP-Compressed Documents
We consider the problem of evaluating regular spanners over compressed d...
research
∙
10/26/2020
A Purely Regular Approach to Non-Regular Core Spanners
The regular spanners (characterised by vset-automata) are closed under t...
research
∙
10/16/2020
Enumerating Answers to First-Order Queries over Databases of Low Degree
A class of relational databases has low degree if for all δ>0, all but f...
research
∙
09/22/2020
Learning Concepts Described by Weight Aggregation Logic
We consider weighted structures, which extend ordinary relational struct...
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
∙
07/19/2017
