21 citations · 72 across the 28 of their papers we have counts for
Showing 2013Show all
3 papers · 1 filter
math.LO2013★ 1 cited
A finite axiomatization of conditional independence and inclusion dependencies
Miika Hannula, Juha Kontinen
We present a complete finite axiomatization of the unrestricted implication problem for inclusion and conditional independence atoms in the context of dependence logic. For databas…
math.LO2013★ 21 cited
Hierarchies in independence logic
Pietro Galliani, Miika Hannula, Juha Kontinen
We study the expressive power of fragments of inclusion and independence logic defined either by restricting the number of universal quantifiers or the arity of inclusion and indep…
math.LO2013
Axiomatizing first-order consequences in independence logic
Miika Hannula
Independence logic cannot be effectively axiomatized. However, first-order consequences of independence logic sentences can be axiomatized. In this article we give an explicit axio…