21 citations · 72 across the 28 of their papers we have counts for
Showing 2026Show all
3 papers · 1 filter
cs.DB2026
Getting to the Root: A Combined Complexity Perspective on Consistent Query Answering
Miika Hannula
We study the combined complexity of consistent query answering for Boolean self-join-free conjunctive queries with unary primary keys and acyclic attack graphs. Although every fixe…
cs.LO2026
Aspects of Coherence in Dependence Logic
Timon Barlag, Nicolas Fröhlich, Miika Hannula +4
Dependence logic extends first-order logic with dependence atoms asserting that the value of a variable is determined by the values of certain other variables. The semantics of dep…
cs.DB2026
Dichotomy for Axiomatising Inclusion Dependencies on K-Databases
Miika Hannula, Teymur Ismikhanov, Jonni Virtema
A relation consisting of tuples annotated by an element of a monoid K is called a K-relation. A K-database is a collection of K-relations. In this paper, we study entailment of inc…