A Relation-Algebraic Approach to Multirelations and Predicate Transformers
A Relation-Algebraic Approach to Multirelations and Predicate Transformers
复制标题
多重关系和谓词变换器的关系代数方法
DOI：
10.1007/978-3-319-19797-5_3
复制
发表时间：
2015
期刊：
影响因子：
--
通讯作者：
Walter Guttmann
中科院分区：
文献类型：
--
作者：
R. Berghammer;Walter Guttmann
上闭多重关系和保序谓词变换之间的对应关系是众所周知的。鲜为人知的是，多重关系也被用于建模拓扑接触，而不仅仅是计算。我们调查如何从这两条研究线的属性转化为谓词变压器。为此，我们表达的对应关系和谓词变换使用关系代数。它与接触关系和闭包运算之间的对应关系类似。许多结果概括从上封闭的任意多关系。
The correspondence between up-closed multirelations and isotone predicate transformers is well known. Less known is that multirelations have also been used for modelling topological contact, not only computations. We investigate how properties from these two lines of research translate to predicate transformers. To this end, we express the correspondence of multirelations and predicate transformers using relation algebras. It turns out to be similar to the correspondence between contact relations and closure operations. Many results generalise from up-closed to arbitrary multirelations.