主动规则的终止性分析  

Termination Analysis of Active Rules

作　　者：杨泽雪[1] 郝忠孝[1] 

机构地区：[1]哈尔滨理工大学计算机科学与技术学院,黑龙江哈尔滨150080

出　　处：《哈尔滨理工大学学报》2006年第6期13-15,共3页Journal of Harbin University of Science and Technology

摘　　要：终止性反映了主动数据库系统良好的行为特性.针对主动规则终止性分析方法的局限性,介绍了一种主动数据库规则终止性分析的新方法.此方法将主动规则翻译成逻辑语句,考虑到系统的执行语义,转换为演绎规则中已知终止性的主动过程.Termination reflects desirable behavior property of active database. In order to overcome limitation of termination analysis mothod, a new method for rule termination analysis within active databases is introduced. This method translates the active rules into logical clauses, taking into account the system＇ s execution semantics, and transfering to the active process known simple results about termination for deductive rules.

关 键 词：主动数据库 终止性 演绎数据库 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]