College of Sciences staff by location (campus)

Dr Henning Koehler staff profile picture

Contact details +6469517129

Dr Henning Koehler PhD

Senior Lecturer in Computer Science and Information Technology

School of Mathematical and Computational 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

Farhan, M., Koehler, H., & Wang, Q. (2024). BatchHL <sup>+</sup> : batch dynamic labelling for distance queries on large-scale networks. VLDB Journal. 33(1), 101-129
[Journal article]Authored by: Koehler, H.
Read Online: DOI icon
Read Abstract: abstract icon
Link, S., Koehler, H., Gandhi, A., Hartmann, S., & Thalheim, B. (2023). Cardinality constraints and functional dependencies in SQL: Taming data redundancy in logical database design. Information Systems. 115
[Journal article]Authored by: Koehler, H.
Read Online: DOI icon
Read Abstract: abstract icon
2
Koehler, H., & Link, S. (2022). Possibilistic Data Cleaning. IEEE Transactions on Knowledge and Data Engineering. 34(12), 5939-5950
[Journal article]Authored by: Koehler, H.
Read Online: DOI icon
Read Abstract: abstract icon
4
Koehler, H., Le, V., & Link, S. (2021). Possible Keys and Functional Dependencies. Journal on Data Semantics. 10(3-4), 327-366
[Journal article]Authored by: Koehler, H.
Read Online: DOI icon
Read Abstract: abstract icon
Balamuralikrishna, N., Jiang, Y., Koehler, H., Leck, U., Link, S., & Prade, H. (2019). Possibilistic keys. Fuzzy Sets and Systems. 376, 1-36
[Journal article]Authored by: Koehler, H.
Read Online: DOI icon
Read Abstract: abstract icon
9
5

view more...

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.
Read Online: DOI icon
Read Abstract: abstract icon
25
12
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.
Read Online: DOI icon
Read Abstract: abstract icon
13
6
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.
Read Abstract: abstract icon
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.
Read Online: DOI icon
Read Abstract: abstract icon
33
25
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.
Read Online: DOI icon
Read Abstract: abstract icon
15
14
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.
Read Online: DOI icon
Read Abstract: abstract icon
Hartmann, S., Köhler, H., Leck, U., Link, S., Thalheim, B., & Wang, J. (2015). 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.
Read Online: DOI icon
Read Abstract: abstract icon
10
8
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.
Read Abstract: abstract icon
4
2
Ferrarotti, F., Hartmann, S., Köhler, H., Link, S., & Vincent, MW. (2012). Foundations for a fourth normal form over SQL-like databases. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 7260 LNCS, 85-100
[Journal article]Authored by: Koehler, H.
Read Online: DOI icon
Read Abstract: abstract icon
1
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.
Read Online: DOI icon
Read Abstract: abstract icon
4
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.
Read Abstract: abstract icon
1
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.
Read Abstract: abstract icon
4
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.
Read Abstract: abstract icon
4
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.
Read Abstract: abstract icon
18
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.
Read Abstract: abstract icon
12
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.
Read Abstract: abstract icon
2
8
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.
Read Abstract: abstract icon
4
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.
Read Abstract: abstract icon
1
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.
Read Abstract: abstract icon
5
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.
Read Abstract: abstract icon
9
10

view less...

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.
Read Online: DOI icon
Read Abstract: abstract icon

Conference

Farhan, M., Wang, Q., & Koehler, H.BatchHL: Answering Distance Queries on Batch-Dynamic Networks at Scale. Proceedings of the ACM SIGMOD International Conference on Management of Data. (pp. 2020 - 2033). 0730-8078.
[Conference]Authored by: Koehler, H.
Read Online: DOI icon
Read Abstract: abstract icon
2
Wang, Y., Wang, Q., Koehler, H., & Lin, Y.Query-by-Sketch: Scaling Shortest Path Graph Queries on Very Large Networks. Proceedings of the ACM SIGMOD International Conference on Management of Data. (pp. 1946 - 1958). 0730-8078.
[Conference]Authored by: Koehler, H.
Read Online: DOI icon
Read Abstract: abstract icon
10
1
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.
Read Online: DOI icon
Read Abstract: abstract icon
1
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.
Read Online: DOI icon
Read Abstract: abstract icon
6
4
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.
Read Online: DOI icon
Read Abstract: abstract icon
5
5

view more...

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.
Read Online: DOI icon
Read Abstract: abstract icon
22
19
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.
Read Online: DOI icon
Read Abstract: abstract icon
32
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.
Read Online: DOI icon
Read Abstract: abstract icon
11
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.
Read Online: DOI icon
Read Abstract: abstract icon
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.
Read Online: DOI icon
Read Abstract: abstract icon
27
21
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.
Read Online: DOI icon
Read Abstract: abstract icon
8
8
Hartmann, S., Köhler, H., Link, S., & Thalheim, B.Armstrong databases and reasoning for functional dependencies and cardinality constraints over partial bags. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). (pp. 164 - 183). 0302-9743.
[Conference]Authored by: Koehler, H.
Read Online: DOI icon
Read Abstract: abstract icon
7
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.
Read Online: DOI icon
Read Abstract: abstract icon
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.
Read Online: DOI icon
Read Abstract: abstract icon
8
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.
Read Abstract: abstract icon
1
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.
Read Abstract: abstract icon
4
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.
Read Abstract: abstract icon
69
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.
Read Abstract: abstract icon
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.
Read Abstract: abstract icon
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.
Read Abstract: abstract icon
20
11
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.
Read Abstract: abstract icon
1
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.
Read Abstract: abstract icon
3
1
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.
Read Abstract: abstract icon
1
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.
Read Abstract: abstract icon
2
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.
Read Abstract: abstract icon
5
3
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.
Read Abstract: abstract icon
7
view less...

Teaching and Supervision

Teaching Statement

Coach and local coordinator for the ACM ICPC programming competition.

Contact Supervisor

Summary of Doctoral Supervision

Position Current Completed
Main Supervisor 2 0
Co-supervisor 1 0

Current Doctoral Supervision

Main Supervisor of:

  • Ali Abdul Hussain - Doctor of Philosophy
    Adaptive Brain Computer Interface
  • Wendy Ye - Doctor of Philosophy
    Semantically Meaningful Sample Databases for Constraint Verification

Co-supervisor of:

  • Julie Schwartz - Doctor of Philosophy
    Hardware acceleration of vision-based feature extraction and encoding for human activity recognition in smart homes for ageing in place

Page authorised by Web Content Manager
Last updated on Monday 27 February 2023