一种改进的主动规则的系统执行模型

主动规则及规则处理机制一直是主动数据库研究的薄弱环节,主要表现为:(1) 语义不够丰富;(2) 缺乏基础语义;(3) 缺乏对规则处理的层次化和结构化的描述.为弥补上述不足,对规则处理机制赋予了丰富的规则延伸语义,根据语义的要求,用规则处理树层次化和结构化地描述规则处理过程对系统状态的影响.新的系统执行模型和扩展后的事务使我们能够提出一种支持丰富语义的规则处理算法.与其他规则处理算法相比,该算法实现了新语义,并利用了递归技术,能更好地吻合规则处理过程.

主动面向对象数据库系统中主动规则的研究

目的研究ＡＯＯＤＢＭＳ中事件模型、主动规则、规则关联的实现技术．方法在已有面向对象的原型系统Ｏ２ＤＢ基础上结合ＡＩ技术设计和实现主动规则机制．结果实现了对不同类型事件的监测和规则推理．结论面向对象技术与ＡＩ技术相结合增强了规则的知识表达能力，是研究主动数据库的一种行之有效的途径．

基于触发路径的主动规则集终止性分析

为满足用户对网络服务的个性化、定制化和主动化需求,主动规则成为解决这些问题的关键技术.研究了在网络环境下基于规则的复杂应用中,大量规则集同时触发所带来的规则终止性问题,提出的分析方法确保主动规则能够有效运行,以提供更加灵活的主动服务.讨论了以静态分析方法为主的主动规则终止性分析相关工作,随后给出问题描述和相关形式化定义.分析了基于关联图的终止性分析方法的保守性,引入触发路径和有限触发环概念,提出了基于触发路径的两种终止情形分析方法,提高了规则集终止性分析的准确性,采用两阶段分析算法保证了分析效率.与相关分析方法的实验比较说明,文中方法能够更准确高效地检测主动规则集的终止性,并适应基于主动规则的其它应用.

基于主动规则对象的分布式多数据库系统集成

分布异构数据库系统的集成是企业实现信息共享，完成ＣＩＭＳ的关键，本文在综合面向对象和主动式数据库的基础上，提出了一种基于主动规则对象的分布数据库系统集成方法．该方法能够根据系统状态和环境的变化，自动重组进化系统，较好的解决了分布式系统中常见的语意和结构冲突．

虚拟企业环境中支持完整性约束的主动规则

探讨了分布式环境下信息集成系统的完整性约束种类 ,并引入主动规则用于支持分布式对象间的完整性约束 ,研究不同的约束种类与主动规则的映射关系·最后 ,提出了ViaScope系统中支持企业信息完整性约束的规则定义语言和调度结构·基于主动规则的企业信息集成策略 ,将传统的模式集成和分布式对象调度相结合 ,支持企业用户在线定义不同的企业逻辑 ,为虚拟企业的信息管理提供了高度的灵活性、可重用性和实用性·

具有最大并行度的合流性主动规则执行模型

合流性反映了主动规则集确定性行为特性 .目前保证合流性的主动规则执行算法基本是串行的 ,而已有的并行规则执行算法并不保证合流性结果 .本文扩展了已有的主动规则执行模型 ,给出了具有最大并行度的合流性主动规则处理算法 ,并证明了该算法的正确性 .

空间数据库主动规则并发行为控制研究

网络环境下空间信息大规模应用中常常有大量的用户规则同时触发,这带来了规则并发行为的控制和效率问题·目前大多数方法难以满足大量用户同时操作时的频繁动态更新,因此提出标注事件图分析模型及并发规则集终止性分析算法,通过实例说明算法的有效性和通用性·在并发索引结构Rlink树基础上,提出一种支持空间数据库主动规则频繁更新的混合索引结构HRlink树及改进的自底向上更新算法IBUU·实验仿真表明,采用IBUU算法的HRlink树频繁更新性能大大高于Rlink树·

主动规则可终止性分析的规则缩减算法

研究主动数据库系统中规则终止特性的静态分析技术 .通过对基本触发图分析方法的研究 ,根据主动规则的可终止性给出了将触发图和激活图相结合的一种规则终止分析方法 ,并将其运用于主动面向对象数据库系统 AO2 DB的规则终止分析中 .

主动规则的并发控制与死锁处理

在基于规则的主动数据库系统中 ,被触发规则通常以事务模式运行 ,这些并行事务由规则耦合方式确定其开始处理时刻和可串行化提交次序 .本文根据并行事务对于共享数据对象的锁继承和锁剥夺关系 ,提出了一个并发控制算法 ,并基于事务树 (森林 )给出一个有效的死锁检测算法和具有最小代价的死锁恢复算法 .

主动规则执行终止性分析算法的修正

指出基于触发图和活化图主动规则终止性分析算法的错误 ,提出触发可达和触发可达集 ,并在此基础上对原算法进行修正 .

基于主动规则对象的数据质量管理

数据质量的煌制与管理研究一般而言可从技术扣管理两个方面迸行。在技术上,不仅要保证数据的精确和高效率。

事务框架下主动规则的并发控制算法

探讨并行规则事务对于共享数据对象的锁继承和锁剥夺关系 ,提出一个并发控制算法 ,并基于层次可串行性标准证明算法的正确性 .

一种关系数据库系统中主动规则的实现策略

在关系数据库系统ＤＭ２ 的基础上，提出了一种实用的主动规则语法定义和语义执行模型，在事件定义中加入了时间事件，给出了加入主动规则后的数据库系统的体系结构，以及在创建规则时，为了保证规则执行的可终止性。

改进的空间数据库主动规则条件测试模型

空间数据库的主动规则条件测试对于规则的执行效率至关重要。本文采用空间查询代数优化技术和空间算子迁移方法,提出扩展的空间规则鉴别网络(ESRDN)模型,给出ESRDN的优化启发式规则及其正确性证明,分析结果表明,该改进模型可以提高空间数据主动规则的条件测试效率。

基于标注事件图的空间数据库主动规则终止性分析

主动规则的终止性分析强化了规则的设计高效性。给出主动规则元模型的概念作为主动规则终止性分析和比较的基础;对精化触发图进行扩展,提出标注事件图分析模型。结合实例给出终止性分析算法。与各种方法的对比说明标注事件图是可应用于终止性分析的通用抽象模型。

XML中的主动规则及其可终止性分析

主动XML系统一般采用触发器,即"事件-冬件-动作"(ECA)规则来提供主动行为。本文提出了一种新的事件监测机制,在XML系统中引入‘主动节点’,即把规则也融入节点,各节点上的ECA规则只需在节点修改时被激活并进行检查,提高了动作的执行效率,增强了系统的实时性。本文结合规则实例给出了分析规则终止性的静态判定算法,引入触发图、活化图、修改后的触发图、触发环等概念,对触发图中的简单触发环进行转换,产生一个对应于触发环的循环语句,对触发环中每一个被修改的节点产生一个递归等式。展开递归等式检验它的可满足性可以用来分析规则集的可终止性。这一算法提高了可终止性判定的精确性,降低了复杂度。

主动规则在XML系统中的实现及可终止性分析

文章以XML数据模型主动机制的研究作为出发点,讨论了XML中主动规则的模型与实现及其相关行为属性的分析,并结合规则实例提出了一种新的分析规则终止性的静态判定算法。这一算法提高了规则可终止性判定的精确度,降低了时间复杂度,可以作为进一步主动规则分析的理论基础。

基于主动规则的多用户交互模型

论述了多用户交互的特性,提出了一个多用户交互模型(E*Fb*Ft)nCAn。针对该模型的特点,建立起ECA规则模型,讨论了交互事件、回调事件和复合事件。分析了将(E*Fb*Ft)nCAn模型转换为主动机制系统中的事件、规则的方法。用例表明基于主动机制的(E*Fb*Ft)nCAn模型是有效的。

基于自依赖规则分析的主动规则终止性研究

ECA规则终止性问题是主动数据库中一个关键问题,首先分析触发边、活化边、惰化边三种边的触发时序关系;然后构造条件断言函数来描述活化边和惰化边对ECA规则中条件的影响,总结出了触发边、活化边和惰化边的组合时序对规则的具体触发情况;最后在此基础上进一步完善了BarakisR提出的不可归约规则集中的自依赖规则判定算法,对其中能够形成环状结构的自触发规则进行了全面的讨论,提出一种新的自依赖规则判定算法。该算法首先找到在不可归约集中由自触发规则引发的循环触发,然后对自触发规则进行单独处理来打断这个环从而使规则集终止,有效提高了规则终止性问题的判断能力。

冲突检测中的主动规则技术

提出主动数据库技术的一个新应用———主动规则应用于虚拟装配中的冲突检测,使虚拟装配具有了主动能力;论述分析了虚拟装配过程中冲突检测的主动功能需求;分析了虚拟装配环境的事件、条件、动作;提出了规则模型;对规则进行了描述。