期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于图的主动数据库E-RG规则执行模型研究
被引量：
1
1
作者
徐长醒
刘云生
许贵平
《小型微型计算机系统》
CSCD
北大核心
2002年第5期600-602,共3页
本文研究主动数据库的 E- RG主动规则的执行模型 .E- RG主动规则包含由 CA规则间基本时序关系导出控制结构 ,是一种高层次的主动规则 .它既支持 CA规则的并发执行 ,又易于规范规则集的行为特性 .E- RG主动规则的执行需要扩展的嵌套事务...
本文研究主动数据库的 E- RG主动规则的执行模型 .E- RG主动规则包含由 CA规则间基本时序关系导出控制结构 ,是一种高层次的主动规则 .它既支持 CA规则的并发执行 ,又易于规范规则集的行为特性 .E- RG主动规则的执行需要扩展的嵌套事务模型 ,我们已经使用一种形式框架准确、完整地刻画该事务模型 .本文依据扩展的嵌套事务模型的正确性准则 ,给出正确实现并发的嵌套事务原子性和隔离性的锁规则 ,并使用一种调度算法保证主动规则 E-
展开更多
关键词
E-RG
规则
主动
数据库
主动规则模型
嵌套事务
模型
多发性
在线阅读
下载PDF
职称材料
题名
基于图的主动数据库E-RG规则执行模型研究
被引量：
1
1
作者
徐长醒
刘云生
许贵平
机构
华中科技大学计算机学院
出处
《小型微型计算机系统》
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 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于图的主动数据库E-RG规则执行模型研究
徐长醒
刘云生
许贵平
《小型微型计算机系统》
CSCD
北大核心
2002
1
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
