计算机科学 ›› 2006, Vol. 33 ›› Issue (7): 107-110.
• • 上一篇 下一篇
出版日期:
发布日期:
基金资助:
Online:
Published:
摘要： 本文对乐观嵌套工作流事务的基本概念及其规则进行形式化描述，并对乐观嵌套工作流事务的层次化、可串行性进行了讨论。最后得出结论：1）利用乐观嵌套模型来调度事务是可以串行调度的，它能够保证数据的一致性。2）在乐观嵌套工作流事务执行过程中采用多版本的数据管理机制来处理并发事务访问同一数据及其中间状态，是无联级回退的。
关键词: 乐观嵌套工作流事务模型 工作流事务 形式化描述
Abstract: The formal description of the definition and running rules in Optimistic Nested Workflow Transaction Model are introduceed in this paper. Some properties, such as Hierarchies and serializability, are discussed. Two conclusions below are also presented： 1）
Key words: Optimistic nested workflow transaction model,Workflow transaction,Formal description
. 乐观嵌套工作流事务模型的形式化描述[J]. 计算机科学, 2006, 33(7): 107-110. https://doi.org/
0 / / 推荐
导出引用管理器 EndNote|Reference Manager|ProCite|BibTeX|RefWorks
链接本文: https://www.jsjkx.com/CN/
https://www.jsjkx.com/CN/Y2006/V33/I7/107
Cited
首页