research
∙
07/11/2023
SparqLog: A System for Efficient Evaluation of SPARQL 1.1 Queries via Datalog [Experiment, Analysis and Benchmark]
Over the past decade, Knowledge Graphs have received enormous interest b...
share
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...
research
∙
01/21/2023
Diversity of Answers to Conjunctive Queries
Enumeration problems aim at outputting, without repetition, the set of s...
research
∙
10/07/2022
Integration of Skyline Queries into Spark SQL
Skyline queries are frequently used in data analytics and multi-criteria...
research
∙
02/21/2022
Optimizing Recursive Queries with Program Synthesis
Most work on query optimization has concentrated on loop-free queries. H...
research
∙
05/30/2021
Convergence of Datalog over (Pre-) Semirings
Recursive queries have been traditionally studied in the framework of da...
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/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
Semantic Width of Conjunctive Queries and Constraint Satisfaction Problems
Answering Conjunctive Queries (CQs) and solving Constraint Satisfaction ...
research
∙
11/20/2018
HyperBench: A Benchmark and Tool for Hypergraphs and Empirical Findings
To cope with the intractability of answering Conjunctive Queries (CQs) a...
research
∙
03/17/2018
Datalog: Bag Semantics via Set Semantics
Duplicates in data management are common and problematic. In this work, ...
research
∙
11/21/2017
Do Hard SAT-Related Reasoning Tasks Become Easier in the Krom Fragment?
Many reasoning problems are based on the problem of satisfiability (SAT)...
research
∙
04/13/2012