21 citations · 72 across the 28 of their papers we have counts for
Showing 2014Show all
3 papers · 1 filter
cs.DB2014★ 3 cited
On Independence Atoms and Keys
Miika Hannula, Juha Kontinen, Sebastian Link
Uniqueness and independence are two fundamental properties of data. Their enforcement in database systems can lead to higher quality data, faster data service response time, better…
math.LO2014★ 2 cited
Hierarchies in inclusion logic with lax semantics
Miika Hannula
We study the expressive power of fragments of inclusion logic under the so-called lax team semantics. The fragments are defined either by restricting the number of universal quanti…
math.LO2014
Hierarchies in independence and inclusion logic with strict semantics
Miika Hannula, Juha Kontinen
We study the expressive power of fragments of inclusion and independence logic defined by restricting the number k of universal quantifiers in formulas. Assuming the so-called stri…