3 papers
cs.DB2026
The Complexity of Finding Missing Answer Repairs
Jesse Comer, Val Tannen
We investigate the problem of identifying database repairs for missing tuples in query answers. We show that when the query is part of the input - the combined complexity setting -…
cs.DB2025
A Unifying Algorithm for Hierarchical Queries
Mahmoud Abo Khamis, Jesse Comer, Phokion Kolaitis +2
The class of hierarchical queries is known to define the boundary of the dichotomy between tractability and intractability for the following two extensively studied problems about…
cs.LO2024
Provenance Analysis and Semiring Semantics for First-Order Logic
Erich Grädel, Val Tannen
A provenance analysis for a query evaluation or a model checking computation extracts information on how its result depends on the atomic facts of the model or database. Traditiona…