-
题名嵌套事务模型下的恢复策略
被引量：2
- 1
-
-
作者
王意洁
王勇军
王志英
胡守仁
-
机构
长沙国防科技大学计算机系
-
出处
《计算机工程》
CAS
CSCD
北大核心
1999年第2期42-44,共3页
-
基金
"九五"科技预研项目
-
文摘
针对嵌套事务模型的特点，以先写日志协议为基础，提出了一种灵活、可扩展的恢复策略WAL＿P，它能有效地处理各种故障。
-
关键词
面向对象
数据库
嵌套事务模型
恢复策略
-
Keywords
Object oriented database
Recovery
Nested transaction
Page
-
分类号
TP311.13
[自动化与计算机技术—计算机软件与理论]
-
-
题名一种乐观嵌套工作流事务模型
被引量：5
- 2
-
-
作者
董云卫
郝克刚
-
机构
西北工业大学计算机学院
西北大学计算机科学系
-
出处
《计算机科学》
CSCD
北大核心
2005年第8期90-93,共4页
-
文摘
为解决目前工作流事务管理的不足和存在的问题,本文基于多数据版本、三阶段执行的并发控制理论提出了一种乐观嵌套工作流事务模型,该事务模型借用时间戳的概念,通过对不同事务中活动类型的分类,较好地解决了长执行事务和协同事务的可靠性和正确性问题,提高了工作流处理的效率。乐观嵌套事务模型把嵌套事务、工作流模型和并发控制协议有机地结合在一起,定义了较为完整的事务操作原语及其语义。本文还给出了乐观事务模型到工作流模型的映射,使得事务工作流执行过程中,其操作原语和乐观事务模型的操作原语是一致的,工作流活动的转移控制与乐观嵌套事务模型的子嵌套事务的生成过程及其表示方式也是一致的。
-
关键词
乐观嵌套事务模型
工作流事务
扩展信牌驱动分布式工作流计算模型
嵌套事务模型
工作流模型
并发控制协议
操作原语
事务管理
控制理论
活动类型
-
Keywords
Optimistic nested transaction model, Workflow transaction, Extend xinpai driven distributed workflow model
-
分类号
TP311.13
[自动化与计算机技术—计算机软件与理论]
TP399
[自动化与计算机技术—计算机应用技术]
-
-
题名乐观嵌套工作流事务模型的形式化描述
- 3
-
-
作者
董云卫
郝克刚
-
机构
西北工业大学计算机学院
西北大学计算机科学系
-
出处
《计算机科学》
CSCD
北大核心
2006年第7期107-110,195,共5页
-
基金
"陕西省自然科学基金"(项目编号:2005F46)
"西安科技攻关计划"(项目编号:GG05022)项目资助。
-
文摘
本文对乐观嵌套工作流事务的基本概念及其规则进行形式化描述,并对乐观嵌套工作流事务的层次化、可串行性进行了讨论。最后得出结论:1)利用乐观嵌套模型来调度事务是可以串行调度的,它能够保证数据的一致性。2)在乐观嵌套工作流事务执行过程中采用多版本的数据管理机制来处理并发事务访问同一数据及其中间状态,是无联级回退的。
-
关键词
乐观嵌套工作流事务模型
工作流事务
形式化描述
-
Keywords
Optimistic nested workflow transaction model,Workflow transaction,Formal description
-
分类号
TP31
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于图的主动数据库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
[自动化与计算机技术—计算机软件与理论]
-
-
题名数据库概念模型的分析与应用
被引量：4
- 5
-
-
作者
胡大权
-
机构
重庆邮电学院
-
出处
《计算机工程与应用》
CSCD
北大核心
2002年第22期211-214,共4页
-
文摘
在数据库理论方面提出了一种新的概念模型:限制型一对多概念模型,并对该模型的相关理论进行了简要的阐述,探讨了该模型在目标管理及其相近领域的应用;分析了实现这一模型的关键技术:触发器与嵌套事务模型;最后用这种模型实现了一个关于MRP的典型实例。
-
关键词
数据库
概念模型
分析
嵌套事务模型
目标管理
数据模型
-
Keywords
DataBase,Restrained One to Many Concept Model,Trigger,Nested Transaction Model,Object Management
-
分类号
TP311.131
[自动化与计算机技术—计算机软件与理论]
-
-
题名移动实时提交协议的恢复处理与通信分析
被引量：2
- 6
-
-
作者
廖国琼
刘云生
-
机构
华中科技大学计算机学院
-
出处
《计算机工程与应用》
CSCD
北大核心
2004年第23期24-25,58,共3页
-
基金
国家自然科学基金项目(编号:60073045)
中国博士后基金项目(编号:2003034482)
+1 种基金
国家部委预先研究项目
华中科技大学博士后科学基金项目(编号:2003021)项目资助
-
文摘
三层实时提交协议(3LRTC)是为支持事务移动性、断接性、实时性及功能替代性等设计的一种移动实时提交协议,该协议能保证移动分布式实时事务放松原子性和结构正确性。该文在分析移动实时事务各参与者提交状态变化的基础上,讨论了3LRTC在发生场地故障和断接时的恢复处理方式,以保证故障发生后数据库能恢复到一个正确的状态。该文还对3LRTC的通信代价进行了分析与比较,结果表明,三层提交结构能减少移动实时事务的通信消息数。
-
关键词
移动计算
实时事务
功能替代
三层实时提交协议
3LRTC
嵌套事务模型
-
Keywords
mobile computing,real-time transaction,functional alterative,commit
-
分类号
TP311.13
[自动化与计算机技术—计算机软件与理论]
-
