21 citations · 72 across the 28 of their papers we have counts for
4 papers · 1 filter
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…