条件事件代数在主动数据库规则分析中的应用  

作　　者：印桂生[1] 

机构地区：[1]哈尔滨工程大学计算机系

出　　处：《哈尔滨工程大学学报》1998年第6期88-90,共3页Journal of Harbin Engineering University

基　　金：国防基础研究基金

摘　　要：分析了传统谓词逻辑在推理中的不足，将条件事件代数应用到主动数据库规则的分析中，通过条件命题的演算来进行循环规则的简化，并清除循环．

关 键 词：条件事件代数 主动数据库 规则 

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