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

1000-9825/2002/13(01)0111-07 ©2002 Journal of Software 软 件 学 报 Vol.13, No.1 一种改进的主动规则的系统执行模型 李庆忠, 王海洋, 姜跃平, 马绍汉, 董继润 ( 山东大学 计算机科学系, 山东 济南 250100) E-mail: lqz@ 摘要: 主动规则及规则处理机制一直是主动数据库研究的薄弱环节,主要表现为:(1) 语义不够丰富;(2) 缺乏基础 语义;(3) 缺乏对规则处理的层次化和结构化的描述.为弥补上述不足,对规则处理机制赋予了丰富的规则延伸语义, 根据语义的要求,用规则处理树层次化和结构化地描述规则处理过程对系统状态的影响.新的系统执行模型和扩展 后的事务使我们能够提出一种支持丰富语义的规则处理算法.与其他规则处理算法相比,该算法实现了新语义,并利 用了递归技术,能更好地吻合规则处理过程. 关 键 词: 主动数据库;ECA-规则;夭折力度;规则处理 中图法分类号: TP311 文献标识码: A 主动数据库系统一直是一个热门课题, 出现了大量的研究成果[1~4] .大多数系统都使用了主动规则的概念. 主动规则建立在事件(event)-条件(condition)-动作(action)三要素之上,又称为 ECA 规则.规则的基本运行方式 是,一旦系统检测到规则事件的发生,就在特定的时刻检查规则的条件,如果条件满足,则执行相应的动作. 文献[1] 以IBM Almaden 研究中心的实验系统Starburst 为背景,其系统执行模型中包含了操作块、改变、 改变效应等概念,并定义了复合操作,描述了规则执行对数据库状态的影响,给出了规则执行算法.但是,它没有 考虑不同的 EC(event-condition)耦合方式对规则执行的影响,而且只是把规则动作的执行语义视同为传统的事 务操作块. 文献[2]讨论了与规则处理有关的各种语义,它提出了一个一般性的框架,试图把 Starburst,Ode 和 Postgres 等实验系统的规则语义都包容进来.这使得它所提出的规则处理方法能支持许多不同的规则执行语义,具有一 定的广泛性,但也使得其算法只能是相当地笼统.它没有具体讨论规则执行对系统状态的影响,也没有考虑引入 嵌套事务的处理方法. 因此, 以往的主动规则及规则处理机制主要的不足表现为:(1) 语义不够丰富;(2) 缺乏基础语义;(3) 缺乏 对规则处理的层次化和结构化的描述. 在本文中,我们的目标是力图弥补上述不足.我们采取了如下措施:(1) 对规则处理机制赋予丰富的规则延 伸语义;(2) 根据规则语义的要求,我们用一种新形式(规则处理树)层次化和结构化地描述规则处理过程对系统 状态的影响,在一定程度上弥补了上述第 3 个环节的不足;(3) 我们给出了引入规则之后的系统执行模型,重新 定义了系统状态、执行块、改变、效应等重要概念(原定义参见文献[1]).新的系统执行模型和扩展后的事务使 我们能够提出一种支持丰富语义的规则处理算法.与其他规则处理算法[1~3] 相比,这种算法实现了我们提出的 新语义,并利用了递归技术,能更好地吻合规则处理过程. 收稿日期: 2000-02-25; 修改日期: 2000-07-26 基金项目: 国家自然科学基金; 国家“九五”攻关项目(96-B03-04-03-12) 作者简介: 李庆忠(1965 －),男,河北威县人,博士,教授，主要研究领域为数据库理论与应用,信息系统;王海洋(1965 －),男, 山东 文登人,博士,教授,博士生导师,主要研究领域为数据库系统;姜跃平(1970 －), 男, 山东烟台人,博士,讲师,主要研究领域为数据库系统; 马绍汉(1938 －),男, 山东平度人,教授,博士生导师,主要研究领域为智能算法;董继润(1935 －),男, 山东高清人,教授,主要研究领域为数 据库系统. 112 Journal of Software 软件学报 2002,13(1) 本文第 1 节描述了规则的语义并对夭折力度进行了扩展.第 2 节讨论了系统的执行模型.第 3 节讨论了规 则处理及其算法.最后是总结及展望. 1 规则语义及对事务模型的改进 ECA 规则的基本语义是,规则在其事件发生时被触发,而后在特定的时刻系统检查规