research
∙
02/14/2023
Reasoning on Feature Models: Compilation-Based vs. Direct Approaches
Analyzing a Feature Model (FM) and reasoning on the corresponding config...
share
research
∙
02/22/2022
Revisiting Semiring Provenance for Datalog
Data provenance consists in bookkeeping meta information during query ev...
research
∙
02/17/2022
Query Answering with Transitive and Linear-Ordered Data
We consider entailment problems involving powerful constraint languages ...
research
∙
02/11/2022
Pseudo Polynomial-Time Top-k Algorithms for d-DNNF Circuits
We are interested in computing k most preferred models of a given d-DNNF...
research
∙
10/22/2020
Containment in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics
We study query containment in three closely related formalisms: monadic ...
research
∙
10/15/2020
Ranked enumeration of MSO logic on words
In the last years, enumeration algorithms with bounded delay have attrac...
research
∙
07/10/2020
Equivalence-Invariant Algebraic Provenance for Hyperplane Update Queries
The algebraic approach for provenance tracking, originating in the semir...
research
∙
06/15/2020
Oblivious and Semi-Oblivious Boundedness for Existential Rules
We study the notion of boundedness in the context of positive existentia...
research
∙
06/01/2020
Balancing expressiveness and inexpressiveness in view design
We study the design of data publishing mechanisms that allow a collectio...
research
∙
06/03/2019
Reasoning about disclosure in data integration in the presence of source constraints
Data integration systems allow users to access data sitting in multiple ...
research
∙
12/22/2018
Enumeration on Trees with Tractable Combined Complexity and Efficient Updates
We give an algorithm to enumerate the results on trees of monadic second...
research
∙
08/14/2018
Evaluating Datalog via Tree Automata and Cycluits
We investigate parameterizations of both database instances and queries ...
research
∙
07/24/2018
Constant-Delay Enumeration for Nondeterministic Document Spanners
We consider the information extraction approach known as document spanne...
research
∙
09/18/2017