Publications
Preprints
[preprint] Miika Hannula, Juha Kontinen, and Sebastian Link. On the Interaction of Functional and Inclusion Dependencies with Independence Atoms.
Journal articles (refereed)
[paper, preprint] Miika Hannula, Xinyi Li, and Sebastian Link. Controlling Entity Integrity with Key Sets. J. Comput. Syst. Sci., 136:195–219, 2023.
[paper, preprint ] Miika Hannula, Zhuoxing Zhang, Bor-Kuan Song, Sebastian Link. Discovery of Cross Joins. IEEE Trans. Knowl. Data Eng., 35(7):6839–6851, 2023.
[paper, preprint] Miika Hannula and Jonni Virtema. Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals. Ann. Pure Appl. Log., 173(10):103108, 2022.
[paper, preprint] Miika Hannula, Minna Hirvonen, and Juha Kontinen. On elementary logics for quantitative dependencies. Ann. Pure Appl. Log., 173(10):103104, 2022.
[paper] Miika Hannula and Lauri Hella. Complexity thresholds in inclusion logic. Inf. Comput. 287: 104759, 2022.
[paper, preprint] Miika Hannula, Juha Kontinen, and Jonni Virtema. Polyteam semantics. J. Log. Comput. 30(8): 1541-1566, 2020.
[paper] Miika Hannula. Validity and entailment in modal and propositional dependence logics. Logical Methods in Computer Science, 15(2), 2019.
[paper] Tania Roblot, Miika Hannula, and Sebastian Link. Probabilistic cardinality constraints - validation, reasoning, and semantic summaries. VLDB J., 27(6):771–795, 2018.
[paper, preprint] Miika Hannula. Hierarchies in inclusion logic with lax semantics. ACM Trans. Comput. Logic, 19(3):16:1–16:23, 2018.
[paper, preprint] Miika Hannula, Juha Kontinen, Jonni Virtema, and Heribert Vollmer. Complexity of propositional logics in team semantic. ACM Trans. Comput. Log., 19(1):2:1–2:14, 2018.
[paper, preprint] Arnaud Durand, Miika Hannula, Juha Kontinen, Arne Meier, and Jonni Virtema. Approximation and dependence via multiteam semantics. Ann. Math. Artif. Intell., 83(3- 4):297–320, 2018.
[paper, preprint] Miika Hannula and Juha Kontinen. A finite axiomatization of conditional independence and inclusion dependencies. Inf. Comput., 249:121–137, 2016.
[paper] Miika Hannula, Juha Kontinen, and Sebastian Link. On the finite and general implication problems of independence atoms and keys. J. Comput. Syst. Sci., 82(5):856–877, 2016.
[paper, preprint] Miika Hannula and Juha Kontinen. Hierarchies in independence and inclusion logic with strict semantics. J. Log. Comput., 25(3):879–897, 2015.
[paper, preprint] Miika Hannula. Axiomatizing first-order consequences in independence logic. Ann. Pure Appl. Logic, 166(1):61–91, 2015.
Conference articles (refereed)
[preprint] Teemu Hankala, Miika Hannula, Juha Kontinen, and Jonni Virtema. Complexity of Neural Network Training and ETR: Extensions with Effectively Continuous Functions. To appear in AAAI-24.
[preprint (extended version)] Miika Hannula. Conditional independence on semiring relations. To appear in ICDT 2024.
[preprint] Miika Hannula. Information inequality problem over set functions. To appear in ICDT 2024.
[preprint, paper] Miika Hannula, Minna Hirvonen, Juha Kontinen, Yasir Mahmood, Arne Meier, and Jonni Virtema. Logics with probabilistic team semantics and the Boolean negation. In Logics in Artificial Intelligence - 18th European Conference, JELIA 2023, Dresden, Germany, September 20-22, 2023, Proceedings, volume 14281 of Lecture Notes in Computer Science, pages 665–680. Springer, 2023.
[preprint, paper] Timon Barlag and Miika Hannula and Juha Kontinen and Nina Pardal and Jonni Virtema. Unified foundations of team semantics via semirings. In Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023, Rhodes, Greece, September 2-8, 2023, pages 75–85, 2023.
[paper] Miika Hannula, Zhuoxing Zhang, Bor-Kuan Song, and Sebastian Link. Discovery of cross joins (extended abstract). In ICDE, pages 3853–3854. IEEE, 2023.
[paper, preprint] Miika Hannula and Jef Wijsen. A Dichotomy in Consistent Query Answering for Primary Keys and Unary Foreign Keys. In PODS ’22: International Conference on Management of Data, Philadelphia, PA, USA, June 12 - 17, 2022, pages 437–449. ACM, 2022.
[paper, preprint] Miika Hannula and Jonni Virtema. Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals. In Logics in Artificial Intelligence - 17th European Conference, JELIA 2021, Virtual Event, May 17-20, 2021, Proceedings, pages 262–278, 2021.
[paper, preprint] Miika Hannula, Juha Kontinen, Martin Lück, and Jonni Virtema. On the Complexity of Horn and Krom Fragments of Second-Order Boolean Logic. In 29th EACSL Annual Conference on Computer Science Logic, CSL 2021, January 25-28, 2021, Ljubljana, Slovenia (Virtual Conference), pp. 27:1–27:22, 2021.
[paper, preprint] Miika Hannula, Juha Kontinen, Jan Van den Bussche, and Jonni Virtema. Descriptive complexity of real computation and probabilistic independence logic. In LICS ’20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, Saarbrücken, Germany, July 8-11, 2020, pages 550–563, 2020.
[paper, preprint] Miika Hannula and Lauri Hella. Complexity thresholds in inclusion logic. In Logic, Language, Information, and Computation - 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings, pages 301–322, 2019.
[paper, preprint] Miika Hannula, Åsa Hirvonen, Juha Kontinen, Vadim Kulikov, and Jonni Virtema. Facets of distribution identities in probabilistic team semantics. In Logics in Artificial Intelligence - 16th European Conference, JELIA 2019, Rende, Italy, May 7-11, 2019, Proceedings, pages 304–320, 2019.
[paper] Miika Hannula and Sebastian Link. Automated reasoning about key sets. In Automated Reasoning - 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, pages 47–63, 2018.
[paper] Miika Hannula and Sebastian Link. On the interaction of functional and inclusion dependencies with independence atoms. In Database Systems for Advanced Applications - 23rd International Conference, DASFAA 2018, Gold Coast, QLD, Australia, May 21-24, 2018, Proceedings, Part II, pages 353–369, 2018.
[paper, preprint] Arnaud Durand, Miika Hannula, Juha Kontinen, Arne Meier, and Jonni Virtema. Probabilistic team semantics. In Foundations of Information and Knowledge Systems - 10th International Symposium, FoIKS 2018, Budapest, Hungary, May 14-18, 2018, Proceedings, pages 186– 206, 2018.
[paper, preprint] Miika Hannula, Juha Kontinen, and Jonni Virtema. Polyteam semantics. In Logical Foundations of Computer Science - International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8-11, 2018, Proceedings, pages 190–210, 2018.
[paper, preprint] Miika Hannula. Validity and entailment in modal and propositional dependence logics. In 26th EACSL Annual Conference on Computer Science Logic, CSL 2017, August 20-24, 2017, Stockholm, Sweden, pages 28:1–28:17, 2017.
[paper] Miika Hannula, Juha Kontinen, and Sebastian Link. On the interaction of inclusion dependencies with independence atoms. In LPAR-21, 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Maun, Botswana, May 7-12, 2017, pages 212–226, 2017.
[paper] Miika Hannula, Juha Kontinen, Martin Lück, and Jonni Virtema. On quantified propositional logics and the exponential time hierarchy. In Proceedings of the Seventh International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2016, Catania, Italy, 14-16 September 2016., pages 198–212, 2016.
[paper, preprint] Arnaud Durand, Miika Hannula, Juha Kontinen, Arne Meier, and Jonni Virtema. Approximation and dependence via multiteam semantics. In Foundations of Information and Knowledge Systems - 9th International Symposium, FoIKS 2016, Linz, Austria, March 7-11, 2016. Proceedings, pages 271–291, 2016.
[paper, preprint] Miika Hannula. Reasoning about embedded dependencies using inclusion dependencies. In Logic for Programming, Artificial Intelligence, and Reasoning - 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings, pages 16–30, 2015.
[paper, preprint] Miika Hannula, Juha Kontinen, Jonni Virtema, and Heribert Vollmer. Complexity of propositional independence and inclusion logic. In Mathematical Foundations of Computer Science 2015 - 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part I, pages 269–280, 2015.
[paper, preprint] Miika Hannula. Hierarchies in inclusion logic with lax semantics. In Logic and Its Applications - 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings, pages 100–118, 2015.
[paper, preprint] Miika Hannula, Juha Kontinen, and Sebastian Link. On independence atoms and keys. In Proceedings of the 23rd ACM International Conference on Conference on Information and Knowledge Management, CIKM 2014, Shanghai, China, November 3-7, 2014, pages 1229– 1238, 2014.
[paper, preprint] Miika Hannula and Juha Kontinen. A finite axiomatization of conditional independence and inclusion dependencies. In Foundations of Information and Knowledge Systems - 8th International Symposium, FoIKS 2014, Bordeaux, France, March 3-7, 2014. Proceedings, pages 211–229, 2014.
[paper, preprint] Pietro Galliani, Miika Hannula, and Juha Kontinen. Hierarchies in independence logic. In Computer Science Logic 2013 (CSL 2013), CSL 2013, September 2-5, 2013, Torino, Italy, pages 263–280, 2013.
Theses
[introduction] Miika Hannula. On Variants of Dependence Logic: Axiomatizability and Expressiveness, Ph.D. thesis, 2015.
Miika Hannula. Omega_1-kategorisuuden absoluuttisuus, M.Sc. thesis, 2011.