Contact Relations with Applications

Authors:
Gunther Schmidt;Rudolf Berghammer
Affiliations:
Fakultät für Informatik, Universität der Bundeswehr München, Neubiberg, Germany 85577;Institut für Informatik, Christian-Albrechts-Universität Kiel, Kiel, Germany 24098
Venue:
RelMiCS '09/AKA '09 Proceedings of the 11th International Conference on Relational Methods in Computer Science and 6th International Conference on Applications of Kleene Algebra: Relations and Kleene Algebra in Computer Science
Year:
2009

Citing 6
Cited 0

Relations and graphs: discrete mathematics for computer scientists

Relations and graphs: discrete mathematics for computer scientists
Formal Concept Analysis: Mathematical Foundations

Formal Concept Analysis: Mathematical Foundations
Knowledge Spaces

Knowledge Spaces
The lattices of closure systems, closure operators, and implicational systems on a finite set: a survey

Discrete Applied Mathematics - Special issue: The 1998 conference on ordinal and symbolic data analysis (OSDA '98)
A representation theorem for Boolean contact algebras

Theoretical Computer Science
RelView: an OBDD-based computer algebra system for relations

CASC'05 Proceedings of the 8th international conference on Computer Algebra in Scientific Computing

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.