乐观嵌套工作流事务模型的形式化描述

摘要：

本文对乐观嵌套工作流事务的基本概念及其规则进行形式化描述,并对乐观嵌套工作流事务的层次化、可串行性进行了讨论.最后得出结论:1)利用乐观嵌套模型来调度事务是可以串行调度的,它能够保证数据的一致性.2)在乐观嵌套工作流事务执行过程中采用多版本的数据管理机制来处理并发事务访问同一数据及其中间状态,是无联级回退的.

关键词：乐观嵌套工作流事务模型、工作流事务、形式化描述

所属期刊栏目：33

分类号：TP3(计算技术、计算机技术)

资助基金：陕西省自然科学基金2005F46;陕西省西安市科技攻关计划GG05022

在线出版日期：2006-09-19（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：107-110,195