论文部分内容阅读
诸如社会保险信息系统这样的基于数据库的大型应用,它们的许多业务处理直接受数据变化的影响,因而此类应用非常需要数据库主动机制的支持。主动数据库能够自动对内部的或外部的状态变化进行反应,而无需用户干预。定义这种行为的规则是主动规则。 本文以主动面向对象数据库实验系统SDAOODB的实现为主线,以社会保险信息系统的应用为背景,对主动数据库的实现技术、理论及其应用进行了深入的探讨: 针对面向对象数据模型的特点,建立起ECA规则模型,讨论了方法事件、时间事件及时序逻辑,并提出实现复合事件的一个有效的方法—监视间隔。研究了全局规则和局部规则,并决定在实验系统中采用全局规则。 本文提出一个新的规则系统执行模型,提出三种不同的夭折方式,从而把嵌套事务引入规则执行语义,并给出一个支持丰富语义的规则处理算法。 本文还探讨了规则分析理论,通过定义触发图、活化图和惰化图,给出一个规则终止性静态分析算法,提高了规则终止性判定的准确性。给出一种动态的局部行为分析方法,它可以在规则处理过程中判定规则集合是否可终止或行为一致。目前讨论局部行为分析的研究尚不多见。 介绍了主动面向对象数据库实验系统SDAOODB的体系结构和关键的实现技术。SDAOODB是国内首家研制的一个主动面向对象数据库系统。 根据信息系统的需要,利用SDAOODB,将主动机制应用到协同信息系统中,将协同协议转换为ECA规则。 本文还从另一个侧面探讨了数据库主动服务的机制,通过周期时间事件触发一个关联规则的挖掘动作。本文给出一个有效的关联规则挖掘算法,将数据库分为m个分割,对数据库的扫描遍数只有(k+2m-2)/m遍(k是最长项目集的长度),远远比传统的算法扫描的遍数k少得多。