Orbital Semilattices
General Mathematics
2022-06-17 v1
Abstract
Orbital semilattices are introduced as bounded semilattices that are, in addition, equipped with an outer multiplication (a semigroup action) and diagonals (a concept borrowed from cylindric algebra), where each semilattice element has a certain domain. An example of an orbital semilattice is a table algebra, where the domain is the schema, the diagonals are diagonal relations, and outer multiplication encodes renaming, projection and column duplication. It is shown that each orbital semilattice can be represented by a subalgebra of such a table algebra.
Cite
@article{arxiv.2206.07790,
title = {Orbital Semilattices},
author = {Jens Kötters and Stefan E. Schmidt},
journal= {arXiv preprint arXiv:2206.07790},
year = {2022}
}
Comments
17 pages, 0 figures