Henning Köhler

According to our database, Henning Köhler authored at least 55 papers between 2005 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Stable Tree Labelling for Accelerating Distance Queries on Dynamic Road Networks.

Henning Koehler, Muhammad Farhan, Qing Wang

Proceedings of the Proceedings 28th International Conference on Extending Database Technology, 2025

2024

BatchHL⁺: batch dynamic labelling for distance queries on large-scale networks.

Muhammad Farhan, Henning Koehler, Qing Wang

VLDB J., January, 2024

Entity/Relationship Profiling.

Henning Koehler, Sebastian Link

Proceedings of the 40th IEEE International Conference on Data Engineering, 2024

2023

Hierarchical Cut Labelling - Scaling Up Distance Queries on Road Networks.

Muhammad Farhan, Henning Koehler, Robert Ohms, Qing Wang

Proc. ACM Manag. Data, December, 2023

Cardinality constraints and functional dependencies in SQL: Taming data redundancy in logical database design.

Sebastian Link, Henning Koehler, Aniruddh Gandhi, Sven Hartmann, Bernhard Thalheim

Inf. Syst., May, 2023

2022

Possibilistic Data Cleaning.

Henning Koehler, Sebastian Link

IEEE Trans. Knowl. Data Eng., 2022

BatchHL: Answering Distance Queries on Batch-Dynamic Networks at Scale.

Muhammad Farhan, Qing Wang, Henning Koehler

Proceedings of the SIGMOD '22: International Conference on Management of Data, Philadelphia, PA, USA, June 12, 2022

2021

Possible Keys and Functional Dependencies.

Henning Koehler, Van Le, Sebastian Link

J. Data Semant., 2021

Query-by-Sketch: Scaling Shortest Path Graph Queries on Very Large Networks.

Ye Wang, Qing Wang, Henning Koehler, Yu Lin

Proceedings of the SIGMOD '21: International Conference on Management of Data, 2021

2019

Possibilistic keys.

Nishita Balamuralikrishna, Yingnan Jiang, Henning Koehler, Uwe Leck, Sebastian Link, Henri Prade

Fuzzy Sets Syst., 2019

A characterization of maximal 2-dimensional subgraphs of transitive graphs.

Henning Koehler

CoRR, 2019

2018

SQL schema design: foundations, normal forms, and normalization.

Henning Köhler, Sebastian Link

Inf. Syst., 2018

An SQL Data Summarization Tool for the Acquisition of Meaningful Cardinality Constraints and Functional Dependencies.

Aniruddh Gandhi, Sven Hartmann, Henning Koehler, Sebastian Link

Proceedings of the 34th IEEE International Conference on Data Engineering, 2018

Extremal Combinatorics of SQL Keys.

Sven Hartmann, Markus Kirchberg, Henning Koehler, Uwe Leck, Sebastian Link

Proceedings of the Models: Concepts, Theory, Logic, Reasoning and Semantics, 2018

2017

Inclusion dependencies and their interaction with functional dependencies in SQL.

Henning Köhler, Sebastian Link

J. Comput. Syst. Sci., 2017

Modular decomposition of transitive graphs and transitively orienting their complements.

Henning Koehler

CoRR, 2017

2016

Possible and certain keys for SQL.

Henning Köhler, Uwe Leck, Sebastian Link, Xiaofang Zhou

VLDB J., 2016

Discovering Meaningful Certain Keys from Incomplete and Inconsistent Relations.

Henning Köhler, Sebastian Link, Xiaofang Zhou

IEEE Data Eng. Bull., 2016

Keys with Probabilistic Intervals.

Pieta Brown, Jeeva Ganesan, Henning Köhler, Sebastian Link

Proceedings of the Conceptual Modeling - 35th International Conference, 2016

Qualitative Cleaning of Uncertain Data.

Henning Köhler, Sebastian Link

Proceedings of the 25th ACM International Conference on Information and Knowledge Management, 2016

2015

Possible and Certain SQL Key.

Henning Köhler, Sebastian Link, Xiaofang Zhou

Proc. VLDB Endow., 2015

Cardinality constraints on qualitatively uncertain data.

Neil Hall, Henning Köhler, Sebastian Link, Henri Prade, Xiaofang Zhou

Data Knowl. Eng., 2015

Constructing Armstrong tables for general cardinality constraints and not-null constraints.

Sven Hartmann, Henning Köhler, Uwe Leck, Sebastian Link, Bernhard Thalheim, Jing Wang

Ann. Math. Artif. Intell., 2015

Inclusion Dependencies Reloaded.

Henning Köhler, Sebastian Link

Proceedings of the 24th ACM International Conference on Information and Knowledge Management, 2015

2014

Saturated Conditional Independence with Fixed and Undetermined Sets of Incomplete Random Variables.

Henning Köhler, Sebastian Link

Proceedings of the Thirtieth Conference on Uncertainty in Artificial Intelligence, 2014

Logical Foundations of Possibilistic Keys.

Henning Köhler, Uwe Leck, Sebastian Link, Henri Prade

Proceedings of the Logics in Artificial Intelligence - 14th European Conference, 2014

Logics for Approximating Implication Problems of Saturated Conditional Independence.

Henning Köhler, Sebastian Link

Proceedings of the Logics in Artificial Intelligence - 14th European Conference, 2014

Cardinality Constraints for Uncertain Data.

Henning Köhler, Sebastian Link, Henri Prade, Xiaofang Zhou

Proceedings of the Conceptual Modeling - 33rd International Conference, 2014

2012

Armstrong Databases and Reasoning for Functional Dependencies and Cardinality Constraints over Partial Bags.

Sven Hartmann, Henning Köhler, Sebastian Link, Bernhard Thalheim

Proceedings of the Foundations of Information and Knowledge Systems, 2012

Efficient provenance storage for relational queries.

Zhifeng Bao, Henning Köhler, Liwei Wang, Xiaofang Zhou, Shazia Sadiq

Proceedings of the 21st ACM International Conference on Information and Knowledge Management, 2012

Foundations for a Fourth Normal Form over SQL-Like Databases.

Flavio Ferrarotti, Sven Hartmann, Henning Köhler, Sebastian Link, Millist W. Vincent

Proceedings of the Conceptual Modelling and Its Theoretical Foundations, 2012

2011

Flexible Provenance Tracing.

Liwei Wang, Henning Köhler, Ke Deng, Xiaofang Zhou, Shazia Sadiq

Int. J. Syst. Serv. Oriented Eng., 2011

Autonomous sets for the hypergraph of all canonical covers.

Henning Köhler

Ann. Math. Artif. Intell., 2011

The Boyce-Codd-Heath Normal Form for SQL.

Flavio Ferrarotti, Sven Hartmann, Henning Köhler, Sebastian Link, Millist W. Vincent

Proceedings of the Logic, Language, Information and Computation, 2011

Efficient parallel skyline processing using hyperplane projections.

Henning Köhler, Jing Yang, Xiaofang Zhou

Proceedings of the ACM SIGMOD International Conference on Management of Data, 2011

Storage and Use of Provenance Information for Relational Database Queries.

Zhifeng Bao, Henning Köhler, Xiaofang Zhou, Tok Wang Ling

Proceedings of the Database Systems for Advanced Applications, 2011

2010

Armstrong axioms and Boyce-Codd-Heath Normal Form under bag semantics.

Henning Köhler, Sebastian Link

Inf. Process. Lett., 2010

Providing Flexible Tradeoff for Provenance Tracking.

Liwei Wang, Henning Köhler, Ke Deng, Xiaofang Zhou, Shazia Sadiq

Proceedings of the Web Information Systems Engineering - WISE 2010 Workshops, 2010

Rebuilding the World from Views.

Xiaofang Zhou, Henning Köhler

Proceedings of the Web-Age Information Management, 11th International Conference, 2010

Sampling dirty data for matching attributes.

Henning Köhler, Xiaofang Zhou, Shazia Sadiq, Yanfeng Shu, Kerry L. Taylor

Proceedings of the ACM SIGMOD International Conference on Management of Data, 2010

On the Existence of Armstrong Data Trees for XML Functional Dependencies.

Sven Hartmann, Henning Köhler, Thu Trinh

Proceedings of the Foundations of Information and Knowledge Systems, 2010

Transitivity-Preserving Skylines for Partially Ordered Domains.

Henning Köhler, Kai Zheng, Jing Yang, Xiaofang Zhou

Proceedings of the Database Systems for Advanced Applications, 2010

Computing Large Skylines over Few Dimensions: The Curse of Anti-correlation.

Henning Köhler, Jing Yang

Proceedings of the Advances in Web Technologies and Applications, 2010

Ontology consolidation in bioinformatics.

Sven Hartmann, Henning Köhler, Jing Wang

Proceedings of the Conceptual Modelling 2010, 2010

Estimating set intersection using small samples.

Henning Köhler

Proceedings of the Computer Science 2010, 2010

2009

Dynamic Data Warehouse Design with Abstract State Machines.

Jane Zhao, Klaus-Dieter Schewe, Henning Köhler

J. Univers. Comput. Sci., 2009

Global Database Design based on Storage Space and Update Time Minimization.

Henning Köhler

J. Univers. Comput. Sci., 2009

2008

On the Notion of an XML Key.

Sven Hartmann, Henning Köhler, Sebastian Link, Thu Trinh, Jing Wang

Proceedings of the Semantics in Data and Knowledge Bases, Third International Workshop, 2008

Lossless Decompositions in Complex-Valued Databases.

Henning Köhler, Sebastian Link

Proceedings of the Foundations of Information and Knowledge Systems, 2008

Autonomous Sets - A Method for Hypergraph Decomposition with Applications in Database Theory.

Henning Köhler

Proceedings of the Foundations of Information and Knowledge Systems, 2008

2007

Full hierarchical dependencies in fixed and undetermined universes.

Sven Hartmann, Henning Köhler, Sebastian Link

Ann. Math. Artif. Intell., 2007

Dynamic Data Warehouse Design as a Refinement in ASM-based Approach.

Henning Köhler, Klaus-Dieter Schewe, Jane Zhao

Proceedings of the Conceptual Modelling 2007, Proceedings of the Fourth Asia-Pacific Conference on Conceptual Modelling (APCCM2007), Ballarat, Victoria, Australia, January 30, 2007

Domination Normal Form - Decomposing Relational Database Schemas.

Henning Köhler

Proceedings of the Computer Science 2007. Proceedings of the Thirtieth Australasian Computer Science Conference (ACSC2007). Ballarat, Victoria, Australia, January 30, 2007

2006

Finding Faithful Boyce-Codd Normal Form Decompositions.

Henning Köhler

Proceedings of the Algorithmic Aspects in Information and Management, 2006

2005

A Contraction Algorithm for finding Minimal Feedback Sets.

Henning Köhler

Proceedings of the Computer Science 2005, 2005