摘要
规则集的汇流是指最终的数据库状态不依赖于主动规则被选择执行的顺序.针对主动规则汇流性分析方法的局限性,介绍一种主动数据库规则汇流性分析的新方法,此方法将主动规则翻译成逻辑语句,考虑到系统的执行语义,转换为演绎规则中已知汇流性的主动过程.
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.
出处
《哈尔滨师范大学自然科学学报》
CAS
2008年第1期65-68,共4页
Natural Science Journal of Harbin Normal University
关键词
主动数据库
汇流性
演绎数据库
Active databases
Confluence
Deductive databases
