| Publication | Date of Publication | Type |
|---|
| Analogical proportions, multivalued dependencies and explanations | 2023-07-26 | Paper |
| Controlling entity integrity with key sets | 2023-06-12 | Paper |
| Technical Correspondence | 2021-11-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5133475 | 2020-11-10 | Paper |
| Approximation Logics for Subclasses of Probabilistic Conditional Independence and Hierarchical Dependence on Incomplete Data | 2020-02-04 | Paper |
| Possibilistic keys | 2019-10-17 | Paper |
| On the Interaction of Inclusion Dependencies with Independence Atoms | 2019-01-10 | Paper |
| Automated reasoning about key sets | 2018-10-18 | Paper |
| Inclusion dependencies and their interaction with functional dependencies in SQL | 2016-12-28 | Paper |
| On the finite and general implication problems of independence atoms and keys | 2016-04-18 | Paper |
| Frontiers for propositional reasoning about fragments of probabilistic conditional independence and hierarchical database decompositions | 2015-10-12 | Paper |
| Constructing Armstrong tables for general cardinality constraints and not-null constraints | 2015-02-05 | Paper |
| Logical Foundations of Possibilistic Keys | 2015-01-14 | Paper |
| Logics for Approximating Implication Problems of Saturated Conditional Independence | 2015-01-14 | Paper |
| Sound approximate reasoning about saturated conditional probabilistic independence under controlled uncertainty | 2014-04-17 | Paper |
| Reasoning about functional and full hierarchical dependencies over partial relations | 2014-04-16 | Paper |
| Independence in Database Relations | 2013-09-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2845525 | 2013-08-30 | Paper |
| Towards an Arithmetic Theory of Consistency Enforcement based on Preservation of δ-constraints | 2013-07-24 | Paper |
| On Functional Dependencies in Advanced Data Models | 2013-06-06 | Paper |
| Propositional Reasoning about Saturated Conditional Probabilistic Independence | 2012-09-21 | Paper |
| Characterisations of multivalued dependency implication over undetermined universes | 2012-08-17 | Paper |
| Appropriate inferences of data dependencies in relational databases | 2012-06-19 | Paper |
| Armstrong axioms and Boyce-Codd-Heath normal form under bag semantics | 2012-03-19 | Paper |
| Foundations for a Fourth Normal Form over SQL-Like Databases | 2012-03-09 | Paper |
| The Boyce-Codd-Heath Normal Form for SQL | 2011-05-27 | Paper |
| On the Role of the Complementation Rule for Data Dependencies over Incomplete Relations | 2010-09-29 | Paper |
| Solving the Implication Problem for XML Functional Dependencies with Properties | 2010-09-29 | Paper |
| Numerical constraints on XML data | 2010-04-22 | Paper |
| Refinements in Typed Abstract State Machines | 2010-02-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3639042 | 2009-10-28 | Paper |
| Spoilt for Choice: Full First-Order Hierarchical Decompositions | 2009-07-02 | Paper |
| On Inferences ofWeak Multivalued Dependencies | 2009-06-30 | Paper |
| Foundations of Information and Knowledge Systems | 2009-05-14 | Paper |
| Foundations of Information and Knowledge Systems | 2009-05-14 | Paper |
| Axiomatizing functional dependencies in the higher-order entity-relationship model | 2009-04-28 | Paper |
| Charting the completeness frontier of inference systems for multivalued dependencies | 2009-03-20 | Paper |
| Numerical Constraints for XML | 2009-03-10 | Paper |
| On the Notion of an XML Key | 2009-01-22 | Paper |
| ON THE IMPLICATION OF MULTIVALUED DEPENDENCIES IN PARTIAL DATABASE RELATIONS | 2008-11-24 | Paper |
| Characterising nested database dependencies by fragments of propositional logic | 2008-03-28 | Paper |
| Appropriate Reasoning about Data Dependencies in Fixed and Undetermined Universes | 2008-03-04 | Paper |
| Lossless Decompositions in Complex-Valued Databases | 2008-03-04 | Paper |
| Full hierarchical dependencies in fixed and undetermined universes | 2007-10-12 | Paper |
| Foundations of Information and Knowledge Systems | 2007-02-12 | Paper |
| Foundations of Information and Knowledge Systems | 2007-02-12 | Paper |
| Deciding implication for functional dependencies in complex-value databases | 2007-01-09 | Paper |
| Functional and multivalued dependencies in nested databases generated by record and list constructor | 2006-09-12 | Paper |
| On a problem of Fagin concerning multivalued dependencies in relational databases | 2006-04-28 | Paper |
| Axiomatisations of functional dependencies in the presence of records, lists, sets and multisets | 2006-04-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5696203 | 2006-01-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4671951 | 2005-04-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4672914 | 2005-04-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4825705 | 2004-11-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4472216 | 2004-08-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4413448 | 2003-07-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2703751 | 2001-05-08 | Paper |
