论文标题
轨道半静止
Orbital Semilattices
论文作者
论文摘要
还将轨道半静力作为有界半纹身引入，此外，还配备了外部乘法（半群动作）和对角线（从圆柱代数借用的概念），每个半静音元素都有某个域。轨道半层次的一个示例是表代数，其中域是模式，对角线是对角线关系，外部乘法编码重命名，投影和列重复。结果表明，每个轨道半静脉都可以用这种表代数的子代数表示。
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.
