共 1 条
ECA规则的模型和行为特定理论
被引：33
作者：
姜跃平
汪卫
施伯乐
董继润
机构：
[1] 复旦大学计算机系
[2] 山东大学计算机系
来源：
关键词：
数据库，主动，规则，模型，语义，行为;
D O I：
10.13328/j.cnki.jos.1997.03.005
中图分类号：
TP311.13 [];
学科分类号：
1201 ;
摘要：
本文给出了ＥＣＡ规则系统的一般性模型，通过扩展系统状态和改变的定义，形式化地描述了规则处理的语义，并着重研究规则系统的行为特征（可终止性和行为一致性）．文中给出的形式化定义和判定方法可作为规则静态分析工具的理论基础
引用
收藏
页码：31 / 37
页数：7
相关论文