Gunther Schmidt: RATH-Paper

Authors

Title

Status, Abstract

Rudolf Berghammer
Institut für Informatik Christian-Albrechts-Universität zu Kiel
Olshausenstr. 40, 24098 Kiel, Germany
rub@informatik.uni-kiel.de
Contact Relations with Applications
.pdf .bib

Relational Methods in Computer Science, RelMiCS 11
November 1--5, 2009, Doha, Qatar

Proceedings appeared as Lect. Notes in Comput. Sci. 5827 (306--321)

Gunther Schmidt

Fakultät für Informatik
Universität der Bundeswehr München
85577 Neubiberg, Germany
Gunther.Schmidt@UniBw.de
November 2009 Relations and graphs are widely used as modeling tools. Using relation algebra, we generalize Aumann's notion of a contact relation and that of a closure operation from powersets to general membership relations and their induced partial orders. We also investigate the relationship between contacts and closures in this general setting and use contacts to establish a one-to-one correspondence between the column space and the row space of a relation.

Authors		Title	Status, Abstract
Rudolf Berghammer	Institut für Informatik Christian-Albrechts-Universität zu Kiel Olshausenstr. 40, 24098 Kiel, Germany rub@informatik.uni-kiel.de	Contact Relations with Applications .pdf .bib	Relational Methods in Computer Science, RelMiCS 11 November 1--5, 2009, Doha, Qatar Proceedings appeared as Lect. Notes in Comput. Sci. 5827 (306--321)
Gunther Schmidt	Fakultät für Informatik Universität der Bundeswehr München 85577 Neubiberg, Germany Gunther.Schmidt@UniBw.de	November 2009	Relations and graphs are widely used as modeling tools. Using relation algebra, we generalize Aumann's notion of a contact relation and that of a closure operation from powersets to general membership relations and their induced partial orders. We also investigate the relationship between contacts and closures in this general setting and use contacts to establish a one-to-one correspondence between the column space and the row space of a relation.