%0 Journal Article
%T Representation of RCC11 Composition Table<br>RCC11复合表的表示
%A LI Yong-Ming
%A LI San-Jiang
%A <br>李永明
%A 李三江
%J 软件学报
%D 2007
%I 
%X 主要研究熟知的区域连接演算(region connection calculus,简称RCC)的关系代数方面的性质.证明了补闭圆盘代数恰好构成RCC11复合表的一个表示,其中,RCC11复合表是由D(u)ntsch于1999年引入的.补闭圆盘代数由两类区域构成:一类是实平面中的所有闭圆盘;另一类是实平面中的所有闭圆盘的补的闭包组成.而连接关系为经典的Whiteheadean连接,即对区域a,b,aCb(表示a,b有连接关系)当且仅当 a∩b≠? .
%K region connection calculus
%K contact relation algebras
%K RCC11 composition table
%K complemented closed disk algebra
%K dual-relation set
%K extensionality<br>区域连接演算
%K 连接关系代数
%K RCC11复合表
%K 补闭圆盘代数
%K 对偶关系集
%K 扩张性
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=DE6ACDBEB0574F7ADB4116FC9A92250A&yid=A732AF04DDA03BB3&vid=13553B2D12F347E8&iid=F3090AE9B60B7ED1&sid=BCC7C90B5D320B41&eid=4648530A5EADC1CE&journal_id=1000-9825&journal_name=软件学报&referenced_num=0&reference_num=21