research
∙
03/05/2023
Structure-Guided Query Evaluation: Towards Bridging the Gap from Theory to Practice
Join queries involving many relations pose a severe challenge to today's...
share
research
∙
11/03/2022
The Complexity of Pattern Counting in Directed Graphs, Parameterised by the Outdegree
We study the fixed-parameter tractability of the following fundamental p...
research
∙
09/21/2022
Incremental Updates of Generalized Hypertree Decompositions
Structural decomposition methods, such as generalized hypertree decompos...
research
∙
06/24/2022
Generative Datalog with Stable Negation
Extending programming languages with stochastic behaviour such as probab...
research
∙
02/03/2022
MV-Datalog+-: Effective Rule-based Reasoning with Uncertain Observations
Modern applications combine information from a great variety of sources....
research
∙
11/22/2021
Forbidden Substructures for Tractable Conjunctive Query Answering with Degree 2
We study the tractability of conjunctive query answering for queries wit...
research
∙
10/07/2021
On the Complexity of Inductively Learning Guarded Rules
We investigate the computational complexity of mining guarded clauses fr...
research
∙
04/28/2021
Fast Parallel Hypertree Decompositions in Logarithmic Recursion Depth
Modern trends in data collection are bringing current mainstream techniq...
research
∙
12/29/2020
The HyperTrac Project: Recent Progress and Future Research Directions on Hypergraph Decompositions
Constraint Satisfaction Problems (CSPs) play a central role in many appl...
research
∙
07/28/2020
Semantic Width and the Fixed-Parameter Tractability of Constraint Satisfaction Problems
Constraint satisfaction problems (CSPs) are an important formal framewor...
research
∙
07/17/2020
Tractability Beyond β-Acyclicity for Conjunctive Queries with Negation
Numerous fundamental database and reasoning problems are known to be NP-...
research
∙
07/03/2020
Fractional Covers of Hypergraphs with Bounded Multi-Intersection
Fractional (hyper-)graph theory is concerned with the specific problems ...
research
∙
02/12/2020
Complexity Analysis of Generalized and Fractional Hypertree Decompositions
Hypertree decompositions (HDs), as well as the more powerful generalized...
research
∙
02/12/2020
Complexity Analysis of General and Fractional Hypertree Decompositions
Hypertree decompositions (HDs), as well as the more powerful generalized...
research
∙
12/11/2018