第卷期计算机学报３ １２Ｖｏｌ．年月０ＣＨＩＮＥＳＪＯＵＲＡＬＦＭＰＴＤｅｃ网络的关系表示和推哈尔滨工大与技术院５业摘在具有重意义了对复杂进行定区分首先提出谓词交集模型法给特征条件式蕴涵一步划统针点相斥规则成果中奠础极地增强处象能力键图类号／犇犗犐犚犲狉狊狀狋犪犻狅犱犳犺犛犾犖狑犽狆犵Ｚｇ犮犆犿狌犜狔犎犫犝狏犃ｐｆｗｋｙｖ犓它许多核心可被广泛于信引言息城市道路运输通管制水利建设电子种随着是个面发展实际需益变收稿日：；最终修改到本课题得国家自然科基金（）、黑龙江省８６９７资助郝忠孝，男生教授博士导师主要研究领域为数据库理论及应用空间时态等４Ｘｍａｉ李松讲方向ｈｚｘ＠ｒｂｕｓｔｄｎ书
期郝忠孝得复杂和多样，空间网络的关系表示推理成为数据库研究重点难．是一个要方面实际应用中对ＳＬ、分类提出了越来高求已有针该可果主集在结构近邻无特性学计算等；连通信工步息存储象定位聚查询领域不适合解决问题增强处弥补足白能力本文进行详细目前奠础献［］论述１内容但没及 讨时拓２扑法描动态变化谓词两析种利图３Ｖｏｒｎｉ九交模型（）严格地别９Ｉ基于区接级划大量４５线设犛犖将粗糙蛋黄由边界６犔犫犞以续糊组ＲＣ犮更丰富确７８义概念称子ａｇｕｅ含洞规则犚统犎涉到如殊说明质移记狉狆上具下：凸壳三共之仅过任意均回路即径〈…犻建〉自环０犼≠语言相给操作元素最短距离映射维直代犘狀轨迹ＱＴＮ
计算机学报年０为空间网络的基本组成元素，由和说明身犛犖犔犞集合称记即犌．中统一表示同样可将边之狀犵、结点洞定必也犎义区域犚（质异）针对两３ ５个其应狓狔文狉于互进行严格并部重要；与析①关系谓词２１②［８］相比较更具有复杂性多③划分类设∨简则ＮＳＲ局｛离接＿交叠ＤＯＪＰ知内ＩＴＡ包含－反等｝ＥＱ节详细了归“”存在任意!非≡ｄｅｆ原子４Ｃ狆∈犘∧犲大：→狕＝
期郝忠孝：推理）］［＿（，!犛犖ＮＳＰ狔犱∧；狓Ｒ③Ｏ≡ｄｅｆ狕．５①－１、等如以下所示②０２由细分的三类空间网络关系可知３和是基于进行定义４显然比具有更强约束能力６ＤＣ７Ｊ８ＩＴ上谓词表在对时充考虑了子区域边顶点洞方面原中９Ａ本节利用将复杂为完全互斥性独立
计算机学报年０关系，从而对复杂的空间网络具有更强大分类和表示能力．交集模型２ １由于边结点多样性谓词虽然可较为严格地划出８但不各所包含子进一步详细区了处理∩本节给若某值明该应来定没公共非设域犛犖狓犚根据取情况界、犔犫犞体内犮每列都行洞组成；犎狔在是考虑两个合相互则得ＤＣＯＪＮＳＲ＿ＰＥＱ矩阵（如）犜名中项…别犆３５图
期郝忠孝理（，）的简写“”表示空间网络和无ＳＥＱ犛犖狓．狔②明相对应子区域没有公共点；!犚全由于如顶洞复杂性多样在元素关系中该交集项值是必须＋离此见可选节谓词容即结边等构信息不同其亦所故标志取也差别图知２模型既将分为类时又能较好地各１８包含特征条件式蕴 涵每一种均满足某些要根据犡Ｎ及之情况接进步细称遵循组合运用大量两个矩阵、先数得出继而判断哪从具行归以下给＿ＤＣＯＪＰＲＩＴ它似符号或∨且推互∧→本文殊约定若则犆犻＝犼≠①：犜３４５６７９０
计算机学报年（）＿，模型条件式５ＲＮＳＯＰ犛犖狓狔特征①：犜犚犆１∨２３４６７８９０；≠∧!蕴涵②犡→．根据、和的谓词表示各自及可知这三类空间关系虽然同属网络交叠覆盖范畴但成立约束最强必须是两个部分质元素完全重合次之弱在由时者具有相互独斥性即针对内接中任意不能所ＩＴ＝主要集为项与简便描述本文犽用｛｝第应子区域犻基于体已进行判定节给出了理其推论设 狀统一记…犼则
期郝忠孝等：证明设任意两类空间网络的关系包含． ９５７犘犵特征条件式集合为和，蕴涵＿犜ＯＰＩＴ狆符号“”表示满足／所犡‖＝不构造一个详析它狉比似法较模型１８＋可知若≠ＤＣ则必有且；反之成即义［具相斥性故］狀由进行区分毕因推论→｛｝′!别其子域交项犽∨∧第应、以能与假…２矛盾｜－又犻狏Ｊ∩∈定理及犎犔犫在复杂时完备互独立效归根据大量步细这犚规３是研究领重要方面就给ＥＱ出已犛犖狓狔狕（ＮＳＲ将全部替换）同导存本节对了基于点得组单元共４
计算机学报年（）＿，利用较好地解决４ＲＳＮＯＰ犛犖狓＋ＩＴ狔－１／｛性问题已狕之Ａ导存在｝．从而对多证明反法假设复杂预测分析 不成立则由定义可知［］狉狆∈→∧狀犵束语；因为有故得出城市划道路运输通管又制信息统水建电的子等种领域越来广泛研究数库热难即!所以目前大量工作主要质移动象位查询方面与相矛样尚很盾白本文针了同理空间网络关系区给类８、和详细征条件均能式组合推毕５论适处未重下两：具当简化犚犜＝使达更符人认习惯边确２根据结构特点基于参考献谓词表示交集模型实例验ＣｏｈｎＧＨａｚｒｉｋＭＱｕｌｔｖｅｓｐｄｇｗＦｍｆｃ时必中一０６９且每个３都造应进行蕴ＪＬＺＶ涵规ｂ斥步
期等空间网络表示和推理［］，４ＬｉＳａｎＪｇＢｅｒｈｄＮｂｌ．ＱｕｔｖｓｐＹ：ｏＡｃＴＣｍ（）２０７５３９１ＭｋＧｗｘｊｑ—Ｄｙ６８ＩｆＰＦＲＷＨＺＸＶ／郝忠孝李松基于集的动态区域关系软件学报ＵｚＥ含洞不规则计算机研究与发展犎犃犗犣犺狅狀犵犡犻犪犔犐犛犅犮犽狉狌犱
