乐观嵌套工作流事务模型的形式化描述 |
| |
引用本文: | 董云卫,郝克刚.乐观嵌套工作流事务模型的形式化描述[J].计算机科学,2006,33(7):107-110. |
| |
作者姓名: | 董云卫 郝克刚 |
| |
作者单位: | 西北工业大学计算机学院,西安710072;西北大学计算机科学系,西安710069 |
| |
基金项目: | 陕西省自然科学基金;陕西省西安市科技攻关计划 |
| |
摘 要: | 本文对乐观嵌套工作流事务的基本概念及其规则进行形式化描述,并对乐观嵌套工作流事务的层次化、可串行性进行了讨论。最后得出结论:1)利用乐观嵌套模型来调度事务是可以串行调度的,它能够保证数据的一致性。2)在乐观嵌套工作流事务执行过程中采用多版本的数据管理机制来处理并发事务访问同一数据及其中间状态,是无联级回退的。
|
关 键 词: | 乐观嵌套工作流事务模型 工作流事务 形式化描述 |
本文献已被 CNKI 维普 万方数据 等数据库收录! |
| 点击此处可从《计算机科学》浏览原始摘要信息 |
|
点击此处可从《计算机科学》下载全文 |
|