Cardinality and Representation of Stone Relation Algebras

Walter Guttmann 📧

September 22, 2023

This is a development version of this entry. It might change over time and is not stable. Please refer to release versions for citations.

Abstract

In relation algebras, which model unweighted graphs, the cardinality operation counts the number of edges of a graph. We generalise the cardinality axioms to Stone relation algebras, which model weighted graphs, and study the relationships between various axioms for cardinality. We also give a representation theorem for Stone relation algebras.

License

BSD License

Topics

Related publications

  • Furusawa, H., & Guttmann, W. (2023). Cardinality and Representation of Stone Relation Algebras (Version 3). arXiv. https://doi.org/10.48550/ARXIV.2309.11676

Session Relational_Cardinality

Depends on

Cite

× 
@article{Relational_Cardinality-AFP,
  author  = {Walter Guttmann},
  title   = {Cardinality and Representation of Stone Relation Algebras},
  journal = {Archive of Formal Proofs},
  month   = {September},
  year    = {2023},
  note    = {\url{https://isa-afp.org/entries/Relational_Cardinality.html},
             Formal proof development},
  ISSN    = {2150-914x},
}
Download

Download

× Download latest

Older releases: