论文部分内容阅读
主要研究熟知的区域连接演算（regionconnectioncalculus，简称RCC）的关系代数方面的性质．证明了补闭圆盘代数恰好构成RCC11复合表的一个表示，其中，RCC11复合表是由Dtintsch于1999年引入的，补闭圆盘代数由两类区域构成：一类是实平面中的所有闭圆盘；另一类是实平面中的所有闭圆盘的补的闭包组成．而连接关系为经典的Whiteheadean连接，即对区域a,b，aCb（表示a,b有连接关系）当且仅当a∩b≠φ．