主动规则的汇流性分析.pdfVIP

第24卷 哈尔滨师范大学自然科学学报 第1期 NATURAL SCIENCES JOURNAL OF HARBIN NORMAL UNIVERSITY 主动规则的汇流性分析 杨泽雪 (黑龙江工程学院) 【摘要】 规则集的汇流是指最终的数据库状态不依赖于主动规则被选择执行 的顺序．针对主动规则汇流性分析方法的局限性，介绍一种主动数据库规则汇流性分 析的新方法，此方法将主动规则翻译成逻辑语句，考虑到系统的执行语义，转换为演 绎规则中已知汇流性的主动过程． 关键词：主动数据库；汇流性；演绎数据库 合粒度． 0 引言 历史事件查询：在大多数规则系统中，可能对 如果最终的数据库状态不取决于多个规则被 每条规则的历史事件进行查询，查询事务开始执 选择执行的顺序，那么我们称该规则集合是可保 行之前的数据库状态或最近一次对规则进行条件 证汇流的．主动数据库规则集的汇流性是十分复 评价之后的数据库状态． 杂的问题．目前的分析方法中，有些方法没有考虑 E—C藕和模式：包括立即模式和延迟模式． 到主动数据库的语义．笔者给出一种分析方法，这 规则执行的原子性：包括规则的动作执行是 种分析方法考虑主动规则的语义，依照参考文献 可中断的和规则的动作执行是原子的两种方式． [1]中的执行模型，其中用事件库扩展了数据库 事件消耗模式：分为局部消耗和全局消耗． 且提出一种基于逻辑语法的规则，对使用这种语 冲突解决策略(CRS)：包括串行执行和并行 法系统的规则编码然后给出充分条件． 执行． 1．2 核心规则 1 主动数据库的语义 主动数据库由一套规则和一个二元组(DB， 像ECA的行为因特定系统不同而不同一样， EB)组成，DB是传统的数据库，EB是事件库，EB ECA规则的执行过程也不能用一个统一算法描 包含下列关系： 述．参考文献[1]中，给出描述规则执行的语义与 (1)EVENT(EID，type，elem，ts)，EID是事件 事务处理的相互作用算法，笔者借助用此算法来 标识；Type是事件类型；elem是由事件激起的数 分析汇流性． 据元；Ts是时间戳． 1．1 主动数据库的语义维度 (2)Active(EID，rule)表示规则rule由事件 已有的主动数据库管理系统已有一些可能的 EID触发． 维度． 核心规则的形式如下： 规则激活粒度：包括面向元组粒度和面向集 ebq(~ )；db／ebq(2，Y 2)，Ebu(x2)一 (杰3， ) 收稿日期：2007—09—15 哈尔滨师范大学自然科学学报 2008诬 其中 ，是输入变量的矢量， 是输出变量的 词和常量形成．Herbrand解释就是Herbrand库的 矢量． 子集． 事件部分ebq(~