主要研究熟知的区域连接演算（regionconnectioncalculus，简称RCC）的关系代数方面的性质．证明了补闭圆盘代数恰好构成RCC11复合表的一个......