许贵平
- 作品数：2 被引量：10H指数：1
- 供职机构：华中理工大学计算机科学与技术学院更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 主动数据库中基于图的规则的指称语义研究被引量：1
- 2002年
- 1 引言主动数据库的主动特性一般使用E-C-A(Event-Condi-tion-Action)规则模型描述.我们用CA规则表示ECA规则模型中的Condition和Action部分,ECA规则语言的语义可描述为:事件E的发生可触发CA规则的执行,该CA规则的执行又可导致其它事件的发生,进而触发其它CA规则的执行,形成触发规则集.主动规则源于人工智能的知识表示的产生式系统(OPS5[1]),许多主动数据库规则系统的执行语义均源于OPS5产生式规则语言的recognize-act cycle算法(如图1).
- 徐长醒刘云生许贵平
- 关键词：主动数据库ECA规则指称语义
- 基于图的主动数据库规则模型E-RG被引量：9
- 2000年
- 针对两种典型的主动数据库系统HiPAC和Starburst系统中主动规则模型的不足 ,提出主动数据库的E RG规则模型 .该模型由规则间基本时序关系导出控制结构 ,形成高层次的主动规则 ,既支持C A规则的并发执行 ,又易于规范规则集的行为特性 .同时给出由规则间基本时序关系导出S,Y与P的关系 ,并保证时间语义无损的转换算法 .
- 徐长醒刘云生许贵平
- 关键词：主动数据库并发性
