主动规则的汇流性分析  

CONFLUENCE ANALYSIS OF ACTIVE RULES

作　　者：杨泽雪[1] 

机构地区：[1]黑龙江工程学院

出　　处：《哈尔滨师范大学自然科学学报》2008年第1期65-68,共4页Natural Science Journal of Harbin Normal University

摘　　要：规则集的汇流是指最终的数据库状态不依赖于主动规则被选择执行的顺序.针对主动规则汇流性分析方法的局限性,介绍一种主动数据库规则汇流性分析的新方法,此方法将主动规则翻译成逻辑语句,考虑到系统的执行语义,转换为演绎规则中已知汇流性的主动过程.A rule set is confluent if the final database state does not depend on the order of execution of active rules. In order to overcome limitation of confluence analysis mothod ,a new method for rule confluence analysis within active databases is introduced. This method translate the active roles into logical clauses, taking into account the system＇s execution semantics, and transfer to the active process known simple results about confluence for deductive rules.

关 键 词：主动数据库 汇流性 演绎数据库 

分 类 号：TP311.13[自动化与计算机技术—计算机软件与理论] TV121.7[自动化与计算机技术—计算机科学与技术]