21 citations · 29 across the 7 of their papers we have counts for
12 papers
A Dichotomy in Consistent Query Answering for Primary Keys and Unary Foreign Keys
Miika Hannula, Jef Wijsen
Since 2005, significant progress has been made in the problem of Consistent Query Answering (CQA) with respect to primary keys. In this problem, the input is a database instance th…
On elementary logics for quantitative dependencies
Miika Hannula, Minna Hirvonen, Juha Kontinen
We define and study logics in the framework of probabilistic team semantics and over metafinite structures. Our work is paralleled by the recent development of novel axiomatizable…
An Algorithm for the Discovery of Independence from Data
Miika Hannula, Bor-Kuan Song, Sebastian Link
For years, independence has been considered as an important concept in many disciplines. Nevertheless, we present the first research that investigates the discovery problem of inde…
Controlling Entity Integrity with Key Sets
Miika Hannula, Xinyi Li, Sebastian Link
Codd's rule of entity integrity stipulates that every table has a primary key. Hence, the attributes of the primary key carry unique and complete value combinations. In practice, d…
On the Interaction of Functional and Inclusion Dependencies with Independence Atoms
Miika Hannula, Juha Kontinen, Sebastian Link
Infamously, the finite and unrestricted implication problems for the classes of i) functional and inclusion dependencies together, and ii) embedded multivalued dependencies alone a…
On the Complexity of Horn and Krom Fragments of Second-Order Boolean Logic
Miika Hannula, Juha Kontinen, Martin Lück +1
Second-order Boolean logic is a generalization of QBF, whose constant alternation fragments are known to be complete for the levels of the exponential time hierarchy. We consider t…