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

摘要

@@ 1 引言主动数据库的主动特性一般使用E-C-A(Event-Condi-tion-Action)规则模型描述.我们用CA规则表示ECA规则模型中的Condition和Action部分,ECA规则语言的语义可描述为:事件E的发生可触发CA规则的执行,该CA规则的执行又可导致其它事件的发生,进而触发其它CA规则的执行,形成触发规则集.主动规则源于人工智能的知识表示的产生式系统(OPS5[1]),许多主动数据库规则系统的执行语义均源于OPS5产生式规则语言的recognize-act cycle算法(如图1).