Journal publications
Deciding Implication for Functional Dependencies in Complex-value databases (with S. Hartmann), Theoretical Computer Science, Volume 364(2), pp. 212-240. (pdf-file)
Axiomatising Functional Dependencies in the Presence of Records, Lists, Sets and Multisets (with S. Hartmann, K.-D. Schewe), Theoretical Computer Science, Volume 355(2), pp. 167-196. (pdf-file, Erratum)
On a Problem of Fagin concerning Multivalued Dependencies in Relational Databases (with S. Hartmann), Theoretical Computer Science, Volume 353(1-3), pp. 53-62. (pdf-file)
Functional and Multivalued Dependencies in Nested Databases generated by Record and List Constructor (with S. Hartmann, K.-D. Schewe), Annals of Mathematics and Artificial Intelligence, Volume 46(1-2), pp. 114-164. (pdf-file)
Conference Proceedings
On Multivalued Dependencies in Fixed and Undetermined Universes, in the Proceedings of the Fourth International Symposium on Foundations of Information and Knowledge Systems - FoIKS 2006, Budapest, Hungary, Lecture Notes in Computer Science Volume 3861, pp. 257-276, ISBN: 3540317821. (pdf-file)
The Nested List Normal Form for Functional and Multivalued Dependencies (with S. Hartmann), in the Proceedings of the Fourth International Symposium on Foundations of Information and Knowledge Systems - FoIKS 2006, Budapest, Hungary, Lecture Notes in Computer Science Volume 3861, pp. 135-156, ISBN: 3540317821. (pdf-file)
Refinements in Typed Abstract State Machines (with K.-D. Schewe and J. Zhao), in the Proceedings of the Sixth International Andrei Ershov Memorial Conference on Perspectives of System Informatics - PSI 2006, Akademgorodok, Russia, Lecture Notes in Computer Science Volume 4378, pp. 297-309, ISBN: 3540708804. (pdf-file)
A strongly minimal axiomatisation of multivalued dependencies in incomplete database relation, in the Proceedings of the 2nd International Workshop on Logical Aspects and Applications of Integrity Constraints - DEXA Workshops 2006, Krakow, Poland, IEEE Computer Society, pp. 537-541. (pdf-file)
On the Logical Implication of Multivalued Dependencies with Null Values, in the Proceedings of the Twelfth Computing: The Australasian Theory Symposium - CATS 2006, Hobart, Tasmania, Australia, Conferences in Research and Practice in Information Technology, Volume 51, pp. 21-30, ISBN: 1920682333. (pdf-file)
Horn Clauses and Functional Dependencies in Complex-value Databases, (with S. Hartmann) in the Proceedings of the Seventeenth Australasian Database Conference - ADC 2006, Hobart, Tasmania, Australia, Conferences in Research and Practice in Information Technology, Volume 49, pp. 113-122, ISBN: 1920682317. (pdf-file)