-
题名ECA规则的模型和行为特定理论
被引量：35
- 1
-
-
作者
姜跃平
汪卫
施伯乐
董继润
-
机构
复旦大学计算机系
山东大学计算机系
-
出处
《软件学报》
EI
CSCD
北大核心
1997年第3期190-196,共7页
-
基金
国家自然科学基金
-
文摘
本文给出了ＥＣＡ规则系统的一般性模型，通过扩展系统状态和改变的定义，形式化地描述了规则处理的语义，并着重研究规则系统的行为特征（可终止性和行为一致性）．
-
关键词
数据库
规则模型
行为
-
Keywords
database, active, rule, model, semantics, behavior.
-
分类号
TP311.13
[自动化与计算机技术—计算机软件与理论]
-
-
题名主动数据库中基于图的规则的指称语义研究
被引量：1
- 2
-
-
作者
徐长醒
刘云生
许贵平
-
机构
华中理工大学计算机学院
-
出处
《计算机科学》
CSCD
北大核心
2002年第3期78-79,62,共3页
-
基金
国家自然科学基金:60073045
-
文摘
1 引言主动数据库的主动特性一般使用E-C-A(Event-Condi-tion-Action)规则模型描述.我们用CA规则表示ECA规则模型中的Condition和Action部分,ECA规则语言的语义可描述为:事件E的发生可触发CA规则的执行,该CA规则的执行又可导致其它事件的发生,进而触发其它CA规则的执行,形成触发规则集.主动规则源于人工智能的知识表示的产生式系统(OPS5[1]),许多主动数据库规则系统的执行语义均源于OPS5产生式规则语言的recognize-act cycle算法(如图1).
-
关键词
主动数据库
CA规则
ECA规则
指称语义
规则图
-
Keywords
active database,active rule,denotational semantics,parallel
-
分类号
TP311.13
[自动化与计算机技术—计算机软件与理论]
-
-
题名具有最大并行度的合流性主动规则执行模型
被引量：1
- 3
-
-
作者
左万利
刘淑芬
王平
姜新雷
王洪媛
匡冶
-
机构
吉林大学计算机科学系
长春海关
-
出处
《小型微型计算机系统》
CSCD
北大核心
2000年第11期1150-1153,共4页
-
基金
国家自然科学基金!(编号 6 96 730 15 )资助
-
文摘
合流性反映了主动规则集确定性行为特性 .目前保证合流性的主动规则执行算法基本是串行的 ,而已有的并行规则执行算法并不保证合流性结果 .本文扩展了已有的主动规则执行模型 ,给出了具有最大并行度的合流性主动规则处理算法 ,并证明了该算法的正确性 .
-
关键词
主动数据库
执行模型
合流性
并行度
主动规则
-
Keywords
active database
ECA rule
Execution model
Confluence
Conflict resolution
Degree of parallelism
-
分类号
TP311.13
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于图的主动数据库E-RG规则执行模型研究
被引量：1
- 4
-
-
作者
徐长醒
刘云生
许贵平
-
机构
华中科技大学计算机学院
-
出处
《小型微型计算机系统》
CSCD
北大核心
2002年第5期600-602,共3页
-
基金
国家自然科学基金资助项目 (项目号 :60 0 73 0 45 )
-
文摘
本文研究主动数据库的 E- RG主动规则的执行模型 .E- RG主动规则包含由 CA规则间基本时序关系导出控制结构 ,是一种高层次的主动规则 .它既支持 CA规则的并发执行 ,又易于规范规则集的行为特性 .E- RG主动规则的执行需要扩展的嵌套事务模型 ,我们已经使用一种形式框架准确、完整地刻画该事务模型 .本文依据扩展的嵌套事务模型的正确性准则 ,给出正确实现并发的嵌套事务原子性和隔离性的锁规则 ,并使用一种调度算法保证主动规则 E-
-
关键词
E-RG规则
主动数据库
主动规则模型
嵌套事务模型
多发性
-
Keywords
active database systems
active rule models
nested transaction models
parallel execution
-
分类号
TP311.13
[自动化与计算机技术—计算机软件与理论]
-
