具有最大并行度的合流性主动规则执行模型  

A CONFLUENT ACTIVE RULE EXECUTION MODEL WITH MAXIMAL PARALLELISM

作　　者：左万利[1] 刘淑芬[1] 王平 姜新雷 王洪媛[1] 匡冶[2] 

机构地区：[1]吉林大学计算机科学系,长春130012 [2]长春海关,长春130036

出　　处：《小型微型计算机系统》2000年第11期1150-1153,共4页Journal of Chinese Computer Systems

基　　金：国家自然科学基金!(编号 6 96 730 15 )资助

摘　　要：合流性反映了主动规则集确定性行为特性 .目前保证合流性的主动规则执行算法基本是串行的 ,而已有的并行规则执行算法并不保证合流性结果 .本文扩展了已有的主动规则执行模型 ,给出了具有最大并行度的合流性主动规则处理算法 ,并证明了该算法的正确性 .Confluence represents deterministic behavior property in active rule based database systems. The current rule execution algorithms are sequential in the sense that triggered rules are processed one at a time, whereas parallel rule processing algorithms dont guarantee confluent result. This paper investigates the inherent parallelism among non conflicting rules and proposed a new confluent rule processing algorithm supporting maximal parallelism. The correctness of the extended algorithm is proven.

关 键 词：主动数据库 执行模型 合流性 并行度 主动规则 

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