%0 Journal Article
%T RCC11复合表的表示
%A 李三江
%A 李永明
%J -
%D 2007
%X 主要研究熟知的区域连接演算(region connection calculus,简称RCC)的关系代数方面的性质.证明了补闭圆盘代数恰好构成RCC11复合表的一个表示,其中,RCC11复合表是由D(u)ntsch于1999年引入的.补闭圆盘代数由两类区域构成:一类是实平面中的所有闭圆盘;另一类是实平面中的所有闭圆盘的补的闭包组成.而连接关系为经典的Whiteheadean连接,即对区域a,b,aCb(表示a,b有连接关系)当且仅当 a∩b≠?
%K 区域连接演算 连接关系代数 RCC11复合表 补闭圆盘代数 对偶关系集 扩张性
%U http://www.jos.org.cn/jos/ch/reader/view_abstract.aspx?file_no=20071009&flag=1