Relations on hypergraphs

  • Authors:
  • John G. Stell

  • Affiliations:
  • School of Computing, University of Leeds, Leeds, U.K.

  • Venue:
  • RAMiCS'12 Proceedings of the 13th international conference on Relational and Algebraic Methods in Computer Science
  • Year:
  • 2012

Quantified Score

Hi-index 0.00

Visualization

Abstract

A relation on a hypergraph is a binary relation on the set consisting of the nodes and hyperedges together, and which satisfies a constraint involving the incidence structure of the hypergraph. These relations correspond to join-preserving mappings on the lattice of sub-hypergraphs. This paper studies the algebra of these relations, in particular the analogues of the familiar operations of complement and converse of relations. When generalizing from relations on a set to relations on a hypergraph we find that the Boolean algebra of relations is replaced by a weaker structure: a pair of isomorphic bi-Heyting algebras, one of which arises from the relations on the dual hypergraph. The paper also considers the representation of sub-hypergraphs as relations and applies the results obtained to mathematical morphology for hypergraphs.