Contact Relations with Applications

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.

• Type: Conference
• Year: 2009
• Where: RELMICS
• Authors: Gunther Schmidt, Rudolf Berghammer
• Keywords: Contact Relation, General Membership Relations, Relation Algebra, RELMICS 2009, Theoretical Computer Science