期刊文献+

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

下载PDF
导出
摘要 分析了传统谓词逻辑在推理中的不足,将条件事件代数应用到主动数据库规则的分析中,通过条件命题的演算来进行循环规则的简化,并清除循环.
作者 印桂生
出处 《哈尔滨工程大学学报》 EI CAS CSCD 1998年第6期88-90,共3页 Journal of Harbin Engineering University
基金 国防基础研究基金
  • 相关文献

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部