主动数据库中基于图规则指称语义的研究.pdfVIP

计算机科学2002Vol29N＆-3 主动数据库中基于图的规则的指称语义研究+， DenotationalSemanticsfor RulesinActiveDatabases Graph—Based 徐长醒刘云生许贵平 ‘华中理工大学计算机学院 武汉430074)TP3 Abstract active Many database variousrule systemspropo。e systems，whichare describedinaninfornlal normally manner．The informal makesit difficuhtounderstandthebehaviorrules description of andthedifferencesnf-carious rule this describeadenotationalsemantica systems．Inpaper．we forkmdof ruleinanactivedatabase． graph—based Thekindofactiverules hadbeen definedand inour be formally analyzedprevious executionbothin— paper，their may ter—ruleand Intra—rule anestedtransactionmodel parallelismthrough Active Keywordsdatabase．Activerulc．Denotationalsemantics，Parallel RG规则执行模型需要非平坦的嵌套事务模型，多个E—RG 1引言 规则可并发地执行，这表现为规则问的并发性。 主动效据库的主动特性一般使用E-C—A(Event—Condi．本文先介绍E—RG规则模型的语法和非形式语义．在此 tion—Action)规则模型描述．我们用CA规则表示ECA规则 基础上研究E·RG规则语言的形式语义．它是正确实现和理 模型中的Condition和Action部分．ECA规则语言的语义可解规则语言的关键。由于其重要性．规则语言的彤式语义的研 描述为：事件E的发生可触发CA规则的执行．该CA规则的究已成为数据库领域的一十热点。文[5．6]中概述了相关研究 执行又可导致其它事件的发生．进而触发其它CA规则的执 概况． 行．彤成齄发规则集．主动规则源于人工智能的知识表示的产 2基于圈的规则模型 生式系统(OPS5Dj)．许多主动数据库规则系统的执行语义均 源于OPS5产生式规则语言的recognize—actcycle算法(如图 本节首先简要介绍E—RG规则模型中的规则图(RG)的 1)。 概念．详细的说明请参见文[3]。然后，介绍E—RG规则的语法 initialmatch(testruleconditions) 和非