论文部分内容阅读
主要研究熟知的区域连接演算(region connection calculus,简称RCC)的关系代数方面的性质.证明了补闭圆盘代数恰好构成RCC11复合表的一个表示,其中,RCC11复合表是由Düntsch于1999年引入的.补闭圆盘代数由两类区域构成:一类是实平面中的所有闭圆盘;另一类是实平面中的所有闭圆盘的补的闭包组成.而连接关系为经典的Whiteheadean连接,即对区域a,b,aCb(表示a,b有连接关系)当且仅当a∩b≠ф.
We mainly study the properties of the relational algebra of the well-known region connection calculus (RCC), and prove that the closed-disc algebra exactly constitutes a representation of the RCC11 composite table, which was introduced by Düntsch in 1999 The closed disc algebra consists of two types of regions: one is all closed discs in the real plane, and the other is closed complements for all closed discs in the real plane. The connection is classic Whiteheadean connection, that is, for a, b, aCb (for a, b) if and only if a∩b ≠ ф.