Dr Henning Koehler staff profile picture

Contact details +64 (06) 356 9099  ext. 84129

Dr Henning Koehler PhD

Senior Lecturer in Computer Science

School of Fundamental Sciences

I'm a mathematician with interests in data(base) and graph theory. Born in Germany, I migrated to New Zealand in 2003, and joined Massey in 2013. For the last few years I've been coaching Massey teams for the ICPC programming competition.

Professional

Qualifications

  • Doctor of Philosophy - Massey University (2008)

Research Expertise

Research Interests

Database Theory, Data Mining, Data Integration, Graph Algorithms

Area of Expertise

Field of research codes
Information And Computing Sciences (080000)

Keywords

Database Theory and Design, Data Mining and Integration, IT Security, Graph Theory

Research Projects

Summary of Research Projects

Position Current Completed
Project Leader 0 1

Research Outputs

Journal

Balamuralikrishna, N., Jiang, Y., Koehler, H., Leck, U., Link, S., & Prade, H. (2019). Possibilistic keys. Fuzzy Sets and Systems.
[Journal article]Authored by: Koehler, H.
Köhler, H., & Link, S. (2018). SQL schema design: foundations, normal forms, and normalization. Information Systems. 76, 88-113
[Journal article]Authored by: Koehler, H.
Koehler, H., & Link, S. (2017). Inclusion dependencies and their interaction with functional dependencies in SQL. Journal of Computer and System Sciences. 85, 104-131
[Journal article]Authored by: Koehler, H.
Koehler, H. (2016). Discovering Meaningful Certain Keys from Incomplete and Inconsistent Relations. IEEE Data Engineering Bulletin. 39(June: Data Quality) Retrieved from http://sites.computer.org/debull/bull_issues.html
[Journal article]Authored by: Koehler, H.
Köhler, H., Leck, U., Link, S., & Zhou, X. (2016). Possible and certain keys for SQL. VLDB Journal. 25(4), 571-596
[Journal article]Authored by: Koehler, H.
Hall, N., Koehler, H., Link, S., Prade, H., & Zhou, X. (2015). Cardinality constraints on qualitatively uncertain data. Data and Knowledge Engineering. 99, 126-150
[Journal article]Authored by: Koehler, H.
Karpfinger, C., Koehler, H., & Wähling, H. (2015). Extending Automorphisms and Derivations onto Ore-Extensions. Results in Mathematics. 68(3-4), 395-413
[Journal article]Authored by: Koehler, H.
Koehler, H., & Link, S. (2014). Saturated conditional independence with fixed and undetermined sets of incomplete random variables. Uncertainty in Artificial Intelligence - Proceedings of the 30th Conference, UAI 2014. , 410-419
[Journal article]Authored by: Koehler, H.
Hartmann, S., Köhler, H., Leck, U., Link, S., Thalheim, B., & Wang, J. (2014). Constructing Armstrong tables for general cardinality constraints and not-null constraints. Annals of Mathematics and Artificial Intelligence. 73(1-2), 139-165
[Journal article]Authored by: Koehler, H.
Wang, L., Köhler, H., Deng, K., Zhou, X., & Sadiq, SW. (2011). Flexible Provenance Tracing. IJSSOE. 2, 1-20
[Journal article]Authored by: Koehler, H.
Wang, LW., Bao, ZF., Koehler, H., Zhou, XF., & Sadiq, S. (2011). An approach for optimizing relational provenance storage. Jisuanji Xuebao/Chinese Journal of Computers. 34(10), 1863-1875
[Journal article]Authored by: Koehler, H.
Köhler, H. (2011). Autonomous sets for the hypergraph of all canonical covers. Annals of Mathematics and Artificial Intelligence. 63(3-4), 257-285
[Journal article]Authored by: Koehler, H.
Hartmann, S., Köhler, H., & Trinh, T. (2010). On the existence of armstrong data trees for XML functional dependencies. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5956 LNCS, 94-113
[Journal article]Authored by: Koehler, H.
Köhler, H., & Yang, J. (2010). Computing large skylines over few dimensions: The curse of anti-correlation. Advances in Web Technologies and Applications - Proceedings of the 12th Asia-Pacific Web Conference, APWeb 2010. , 284-290
[Journal article]Authored by: Koehler, H.
Köhler, H., Zhou, X., Sadiq, S., Shu, Y., & Taylor, K. (2010). Sampling dirty data for matching attributes. Proceedings of the ACM SIGMOD International Conference on Management of Data. , 63-74
[Journal article]Authored by: Koehler, H.
Koehler, H., & Link, S. (2010). Armstrong axioms and Boyce-Codd-Heath Normal Form under bag semantics. Information Processing Letters. 110(16), 717-724
[Journal article]Authored by: Koehler, H.
Hartmann, S., Köhler, H., & Wang, J. (2010). Ontology consolidation in bioinformatics. Conferences in Research and Practice in Information Technology Series. 110, 15-22
[Journal article]Authored by: Koehler, H.
Köhler, H. (2010). Estimating set intersection using small samples. Conferences in Research and Practice in Information Technology Series. 102, 71-78
[Journal article]Authored by: Koehler, H.
Köhler, H. (2009). Global database design based on storage space and update time minimization. Journal of Universal Computer Science. 15(1), 195-240
[Journal article]Authored by: Koehler, H.
Zhao, J., Schewe, KD., & Koehler, H. (2009). Dynamic data warehouse design with abstract state machines. Journal of Universal Computer Science. 15(1), 355-397
[Journal article]Authored by: Koehler, H.
Hartmann, S., Köhler, H., & Link, S. (2007). Full hierarchical dependencies in fixed and undetermined universes. Annals of Mathematics and Artificial Intelligence. 50(1-2), 195-226
[Journal article]Authored by: Koehler, H.

Book

Ferrarotti, F., Hartmann, S., Köhler, H., Link, S., & Vincent, MW. (2012). Foundations for a fourth normal form over SQL-like databases. In A. Dusterhoft, M. Klettke, & K. Schewe (Eds.) Conceptual Modelling and its Theoretical Foundations. (pp. 85 - 100). Berlin: Springer
[Chapter]Authored by: Koehler, H.

Conference

Gandhi, A., Hartmann, S., Koehler, H., & Link, S.An SQL data summarization tool for the acquisition of meaningful cardinality constraints and functional dependencies. Proceedings - IEEE 34th International Conference on Data Engineering, ICDE 2018. (pp. 1495 - 1506).
[Conference]Authored by: Koehler, H.
Köhler, H., & Link, S. (2016). Qualitative cleaning of uncertain data. International Conference on Information and Knowledge Management, Proceedings. Vol. 24-28-October-2016 (pp. 2269 - 2274).
[Conference Paper in Published Proceedings]Authored by: Koehler, H.
Brown, P., Ganesan, J., Köhler, H., & Link, S. (2016). Keys with probabilistic intervals. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 9974 LNCS (pp. 164 - 179).
[Conference Paper in Published Proceedings]Authored by: Koehler, H.
Köhler, H., & Link, S. (2016). SQL schema design: Foundations, normal forms, and normalization. Proceedings of the ACM SIGMOD International Conference on Management of Data. Vol. 26-June-2016 (pp. 267 - 279).
[Conference Paper in Published Proceedings]Authored by: Koehler, H.
Köhler, H., Link, S., & Zhou, X. (2015). Possible and certain SQL keys. Vol. 8 (pp. 1118 - 1129).
[Conference Paper in Published Proceedings]Authored by: Koehler, H.
Köhler, H., & Link, S. (2015). Inclusion dependencies reloaded. International Conference on Information and Knowledge Management, Proceedings. Vol. 19-23-Oct-2015 (pp. 1361 - 1370).
[Conference Paper in Published Proceedings]Authored by: Koehler, H.
Koehler, H., & Link, S. (2014). Logics for approximating implication problems of saturated conditional independence. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 8761 (pp. 224 - 238).
[Conference Paper in Published Proceedings]Authored by: Koehler, H.
Koehler, H., Leck, U., Link, S., & Prade, H. (2014). Logical foundations of possibilistic keys. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 8761 (pp. 181 - 195).
[Conference Paper in Published Proceedings]Authored by: Koehler, H.
Koehler, H., Link, S., Prade, H., & Zhou, X. (2014). Cardinality constraints for uncertain data. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 8824 (pp. 108 - 121).
[Conference Paper in Published Proceedings]Authored by: Koehler, H.
Hartmann, S., Köhler, H., Link, S., & Thalheim, B. (2012). Armstrong databases and reasoning for functional dependencies and cardinality constraints over partial bags. Foundations of Information and Knowledge Systems Lecture Notes in Computer Science. Vol. 7153 (pp. 164 - 183). Germany: Foundations of Information and Knowledge Systems
[Conference Paper in Published Proceedings]Authored by: Koehler, H.
Bao, Z., Köhler, H., Wang, L., Zhou, X., & Sadiq, S. (2012). Efficient provenance storage for relational queries. ACM International Conference Proceeding Series. (pp. 1352 - 1361).
[Conference Paper in Published Proceedings]Authored by: Koehler, H.
Bao, Z., Koehler, H., Zhou, X., & Wang Ling, T. (2011). Storage and use of provenance information for relational database queries. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 6588 LNCS (pp. 429 - 433).
[Conference Paper in Published Proceedings]Authored by: Koehler, H.
Ferrarotti, F., Hartmann, S., Köhler, H., Link, S., & Vincent, M. (2011). The Boyce-Codd-Heath normal form for SQL. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 6642 LNAI (pp. 110 - 122).
[Conference Paper in Published Proceedings]Authored by: Koehler, H.
Köhler, H., Yang, J., & Zhou, X. (2011). Efficient parallel skyline processing using hyperplane projections. Proceedings of the ACM SIGMOD International Conference on Management of Data. (pp. 85 - 94).
[Conference Paper in Published Proceedings]Authored by: Koehler, H.
Wang, L., Köehler, H., Deng, K., Zhou, X., & Sadiq, S. (2011). Providing flexible tradeoff for provenance tracking. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 6724 LNCS (pp. 226 - 240).
[Conference Paper in Published Proceedings]Authored by: Koehler, H.
Zhou, X., & Köhler, H.Rebuilding the World from Views. WAIM. (pp. 2 - 2).
[Conference]Authored by: Koehler, H.
Köhler, H., Zheng, K., Yang, J., & Zhou, X. (2010). Transitivity-preserving skylines for partially ordered domains. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 5982 LNCS (pp. 109 - 115).
[Conference Paper in Published Proceedings]Authored by: Koehler, H.
Hartmann, S., Köhler, H., Link, S., Trinh, T., & Wang, J. (2008). On the notion of an XML key. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 4925 LNCS (pp. 103 - 112).
[Conference Paper in Published Proceedings]Authored by: Koehler, H.
Koehler, H., & Link, S. (2008). Lossless decompositions in complex-valued databases. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 4932 LNCS (pp. 329 - 347).
[Conference Paper in Published Proceedings]Authored by: Koehler, H.
Koehler, H. (2008). Autonomous sets - A method for hypergraph decomposition with applications in database theory. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 4932 LNCS (pp. 78 - 95).
[Conference Paper in Published Proceedings]Authored by: Koehler, H.
Koehler, H., Schewe, KD., & Zhao, J. (2007). Dynamic data warehouse design as a refinement in ASM-based approach. Conferences in Research and Practice in Information Technology Series. Vol. 67
[Conference Paper in Published Proceedings]Authored by: Koehler, H.
Koehler, H. (2007). Domination normal form - Decomposing relational database schemas. Conferences in Research and Practice in Information Technology Series. Vol. 62 (pp. 79 - 85).
[Conference Paper in Published Proceedings]Authored by: Koehler, H.
Koehler, H. (2006). Finding faithful boyce-codd normal form decompositions. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 4041 LNCS (pp. 102 - 113).
[Conference Paper in Published Proceedings]Authored by: Koehler, H.
Koehler, H. (2005). A contraction algorithm for finding minimal feedback sets. Conferences in Research and Practice in Information Technology Series. Vol. 38 (pp. 165 - 174).
[Conference Paper in Published Proceedings]Authored by: Koehler, H.

Supervision and Teaching

Summary of Doctoral Supervision

Position Current Completed
Supervisor 1 0

Teaching

Coach and local coordinator for the ACM ICPC programming competition.

Courses Coordinated

Current Doctoral Supervision

Supervisor of:

  • Wendy Ye - Doctor of Philosophy
    Semantically Meaningful Sample Databases for Constraint Verification

Massey Contact Centre Mon - Fri 8:30am to 4:30pm 0800 MASSEY (+64 6 350 5701) TXT 5222 contact@massey.ac.nz Web chat Staff Alumni News Māori @ Massey