A Contraction Algorithm for finding Minimal Feedback Sets. - Henning Köhler (ACSC, 2005)

Finding Faithful Boyce-Codd Normal Form Decompositions. - Henning Köhler (AAIM, 2006)

Domination Normal Form - Decomposing Relational Database Schemas. - Henning Köhler (ACSC, 2007)

Dynamic Data Warehouse Design as a Refinement in ASM-based Approach. - Henning Köhler; Klaus-Dieter Schewe; Jane Zhao (APCCM, 2007)

Full hierarchical dependencies in fixed and undetermined universes. - Sven Hartmann; Henning Köhler; Sebastian Link (Ann. Math. Artif. Intell., 2007)

Autonomous Sets - A Method for Hypergraph Decomposition with Applications in Database Theory. - Henning Köhler (FoIKS, 2008)

Lossless Decompositions in Complex-Valued Databases. - Henning Köhler; Sebastian Link (FoIKS, 2008)

On the Notion of an XML Key. - Sven Hartmann; Henning Köhler; Sebastian Link; Thu Trinh; Jing Wang 056 (SDKB, 2008)

Global Database Design based on Storage Space and Update Time Minimization. - Henning Köhler (J. Univers. Comput. Sci., 2009)

Dynamic Data Warehouse Design with Abstract State Machines. - Jane Zhao; Klaus-Dieter Schewe; Henning Köhler (J. Univers. Comput. Sci., 2009)

Estimating set intersection using small samples. - Henning Köhler (ACSC, 2010)

Ontology consolidation in bioinformatics. - Sven Hartmann; Henning Köhler; Jing Wang 056 (APCCM, 2010)

Computing Large Skylines over Few Dimensions: The Curse of Anti-correlation. - Henning Köhler; Jing Yang (APWeb, 2010)

Transitivity-Preserving Skylines for Partially Ordered Domains. - Henning Köhler; Kai Zheng 001; Jing Yang; Xiaofang Zhou 001 (DASFAA (2), 2010)

On the Existence of Armstrong Data Trees for XML Functional Dependencies. - Sven Hartmann; Henning Köhler; Thu Trinh (FoIKS, 2010)

Sampling dirty data for matching attributes. - Henning Köhler; Xiaofang Zhou 001; Shazia Sadiq; Yanfeng Shu; Kerry L. Taylor (SIGMOD Conference, 2010)

Rebuilding the World from Views. - Xiaofang Zhou 001; Henning Köhler (WAIM, 2010)

Providing Flexible Tradeoff for Provenance Tracking. - Liwei Wang 011; Henning Köhler; Ke Deng; Xiaofang Zhou 001; Shazia Sadiq (WISE Workshops, 2010)

Armstrong axioms and Boyce-Codd-Heath Normal Form under bag semantics. - Henning Köhler; Sebastian Link (Inf. Process. Lett., 2010)

Storage and Use of Provenance Information for Relational Database Queries. - Zhifeng Bao; Henning Köhler; Xiaofang Zhou 001; Tok Wang Ling (DASFAA (2), 2011)

Efficient parallel skyline processing using hyperplane projections. - Henning Köhler; Jing Yang; Xiaofang Zhou 001 (SIGMOD Conference, 2011)

The Boyce-Codd-Heath Normal Form for SQL. - Flavio Ferrarotti; Sven Hartmann; Henning Köhler; Sebastian Link; Millist W. Vincent (WoLLIC, 2011)

Autonomous sets for the hypergraph of all canonical covers. - Henning Köhler (Ann. Math. Artif. Intell., 2011)

Flexible Provenance Tracing. - Liwei Wang 011; Henning Köhler; Ke Deng; Xiaofang Zhou 001; Shazia Sadiq (Int. J. Syst. Serv. Oriented Eng., 2011)

Foundations for a Fourth Normal Form over SQL-Like Databases. - Flavio Ferrarotti; Sven Hartmann; Henning Köhler; Sebastian Link; Millist W. Vincent (Conceptual Modelling and Its Theoretical Foundations, 2012)

Efficient provenance storage for relational queries. - Zhifeng Bao; Henning Köhler; Liwei Wang 011; Xiaofang Zhou 001; Shazia Sadiq (CIKM, 2012)

Armstrong Databases and Reasoning for Functional Dependencies and Cardinality Constraints over Partial Bags. - Sven Hartmann; Henning Köhler; Sebastian Link; Bernhard Thalheim (FoIKS, 2012)

Cardinality Constraints for Uncertain Data. - Henning Köhler; Sebastian Link; Henri Prade; Xiaofang Zhou 001 (ER, 2014)

Logics for Approximating Implication Problems of Saturated Conditional Independence. - Henning Köhler; Sebastian Link (JELIA, 2014)

Logical Foundations of Possibilistic Keys. - Henning Köhler; Uwe Leck; Sebastian Link; Henri Prade (JELIA, 2014)

Saturated Conditional Independence with Fixed and Undetermined Sets of Incomplete Random Variables. - Henning Köhler; Sebastian Link (UAI, 2014)

Inclusion Dependencies Reloaded. - Henning Köhler; Sebastian Link (CIKM, 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 056 (Ann. Math. Artif. Intell., 2015)

Cardinality constraints on qualitatively uncertain data. - Neil Hall; Henning Köhler; Sebastian Link; Henri Prade; Xiaofang Zhou 001 (Data Knowl. Eng., 2015)

Possible and Certain SQL Key. - Henning Köhler; Sebastian Link; Xiaofang Zhou 001 (Proc. VLDB Endow., 2015)

Qualitative Cleaning of Uncertain Data. - Henning Köhler; Sebastian Link (CIKM, 2016)

Keys with Probabilistic Intervals. - Pieta Brown; Jeeva Ganesan; Henning Köhler; Sebastian Link (ER, 2016)

Discovering Meaningful Certain Keys from Incomplete and Inconsistent Relations. - Henning Köhler; Sebastian Link; Xiaofang Zhou 001 (IEEE Data Eng. Bull., 2016)

Possible and certain keys for SQL. - Henning Köhler; Uwe Leck; Sebastian Link; Xiaofang Zhou 001 (VLDB J., 2016)

Modular decomposition of transitive graphs and transitively orienting their complements. - Henning Koehler (CoRR, 2017)

Inclusion dependencies and their interaction with functional dependencies in SQL. - Henning Köhler; Sebastian Link (J. Comput. Syst. Sci., 2017)

Extremal Combinatorics of SQL Keys. - Sven Hartmann; Markus Kirchberg; Henning Koehler; Uwe Leck; Sebastian Link (Models: Concepts, Theory, Logic, Reasoning and Semantics, 2018)

An SQL Data Summarization Tool for the Acquisition of Meaningful Cardinality Constraints and Functional Dependencies. - Aniruddh Gandhi; Sven Hartmann; Henning Koehler; Sebastian Link (ICDE, 2018)

SQL schema design: foundations, normal forms, and normalization. - Henning Köhler; Sebastian Link (Inf. Syst., 2018)

A characterization of maximal 2-dimensional subgraphs of transitive graphs. - Henning Koehler (CoRR, 2019)

Possibilistic keys. - Nishita Balamuralikrishna; Yingnan Jiang; Henning Koehler; Uwe Leck; Sebastian Link; Henri Prade (Fuzzy Sets Syst., 2019)

Query-by-Sketch: Scaling Shortest Path Graph Queries on Very Large Networks. - Ye Wang; Qing Wang 002; Henning Koehler; Yu Lin 001 (SIGMOD Conference, 2021)

Possible Keys and Functional Dependencies. - Henning Koehler; Van Le; Sebastian Link (J. Data Semant., 2021)

BatchHL: Answering Distance Queries on Batch-Dynamic Networks at Scale. - Muhammad Farhan; Qing Wang 002; Henning Koehler (SIGMOD Conference, 2022)

Possibilistic Data Cleaning. - Henning Koehler; Sebastian Link (IEEE Trans. Knowl. Data Eng., 2022)

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., 2023)

Hierarchical Cut Labelling - Scaling Up Distance Queries on Road Networks. - Muhammad Farhan; Henning Koehler; Robert Ohms; Qing Wang 002 (Proc. ACM Manag. Data, 2023)

Entity/Relationship Profiling. - Henning Koehler; Sebastian Link (ICDE, 2024)

BatchHL+: batch dynamic labelling for distance queries on large-scale networks. - Muhammad Farhan; Henning Koehler; Qing Wang 002 (VLDB J., 2024)

Learning to Bound for Maximum Common Subgraph Algorithms. - Buddhi W. Kothalawala; Henning Koehler; Qing Wang 002 (CP, 2025)

Stable Tree Labelling for Accelerating Distance Queries on Dynamic Road Networks. - Henning Koehler; Muhammad Farhan; Qing Wang 002 (EDBT, 2025)

Linking Data Meaningfully - Identifying Meaningful Keys and Foreign Keys from Data. - Henning Koehler; Sebastian Link (IEA/AIE (1), 2025)

Dual-Hierarchy Labelling: Scaling Up Distance Queries on Dynamic Road Networks. - Muhammad Farhan; Henning Koehler; Qing Wang 002 (Proc. ACM Manag. Data, 2025)

Divide-and-Conquer: Scalable Shortest Path Counting on Large Road Networks. - Muhammad Farhan; Henning Koehler; Qing Wang 002 (Proc. ACM Manag. Data, 2025)