| 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 |
| A membership algorithm for functional and multi-valued dependencies in the presence of lists | 2013-08-30 | Paper |
| Towards an arithmetic theory of consistency enforcement based on preservation of \(\delta\)-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 |
| Solving the implication problem for XML functional dependencies with properties | 2010-09-29 | Paper |
| On the role of the complementation rule for data dependencies over incomplete relations | 2010-09-29 | Paper |
| Numerical constraints on XML data | 2010-04-22 | Paper |
| Refinements in Typed Abstract State Machines | 2010-02-02 | Paper |
| Weak functional dependencies: full propositional expressiveness for the database practitioner | 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 |
| Computability and decidability issues in the theory of consistency enforcement | 2001-05-08 | Paper |
