免费论文摘要：扩充的动静刻画论理谈话及其在数据集聚中的运用接洽

刻画论理是一族情势的常识表白谈话的统称，它有庄重的论理普通，有内涵机动推导体制。把刻画论理的常识库与保守数据库相贯串，不妨为数据付与真实语义、带来更精巧的表白本领、对数据举行更深刻的领会推导，所以这从来都是关系接洽范围的要害题目。但已有处事都控制在静态层面，没有从动静层面临举措举行刻画。联系代数是联系数据库的表面普通，数据库内一切的操纵最后都变化为联系代数操纵实行，不足对联系操纵等举措的建立模型，就不许充溢刻划体例的动静特性，不许对举措打开推导。形成此题目的一个要害因为，即是不足有充满举措表白本领的动静刻画论理谈话。正文开始对准此题目，领会了动静计划体例中举措的特性，指出了为亚原子举措引入参数的需要性，提出了扩充的动静刻画论理谈话DALCP ，并创造了联系数据库的DALCP 模子。 数据集聚是搜集情况下的计划的一个普通性题目，在散布、异构、自制、动静数据源之上，供给用户一致、观念化的考察接口，运用户不妨通明地从底层数据源获得数据。运用刻画论理动作常识表白和处置的情势东西，对数据资源的散布举行一致刻画，对用户观念化查问举行刻画，对语义异构消息举行刻画，并贯串其推导体制对集聚乞求举行处置，本领产生真实的数据集聚体例。正文以刻画论理为情势化东西，贯串效劳计划的思维，提出了新的数据集聚框架结构，给出了数据集聚的DALCP 模子。 正文重要功效囊括以次三个上面： 1. 对准现有动静刻画论理难以充溢表白举措的题目，指出了引入参数对刻画举措的需要性，给出了扩充的动静刻画论理谈话DALCP 。经过对具备可达联系的大概寰球强加控制前提，设置了带有参数亚原子模态词的语义。给出了谈话的Tableau 算法，并经过表明该算法的可中断性和真实性，保证了此谈话推导体制的可计划性和真实性。 2. 对准联系数据库的三个档次，运用三个档次的机动变化体制，给出了联系数据库的DALCP 刻画论理模子。按照亚原子联系操纵在联系代数中的含意，设置了亚原子模态词的语义以及语规则约准则, 对规约准则的本质举行了表明。经过表明由大肆联系数据库天生其DALCP 模子的机动变化体制的淳厚性，保护了此刻画论理模子的真实性。 3. 在前两局部处事普通上, 以DALCP 为东西，贯串效劳计划思维，创造了新的由四层常识库形成的数据集聚模子。鉴于此模子，给出了数据集聚处置体制，并证领会此处置体制的真实性，给出了体例完美的前提。此模子，将数据集聚的题目，变化为了刻画论理观念层面包车型的士推导题目，为进一步接洽数据集聚题目供给了表面平台。

来源：半壳优胜育转载请保留出处和链接！

本文链接：http://87cpy.com/206689.html