【摘 要】
:
该文主要围绕四个方面展开:长事务的分解方法、利用事务语义的长事务处理、利用对象语义的长事务处理以及同时利用事务和对象语义的长事务处理方法.具体工作如下:1.该文通过对
论文部分内容阅读
该文主要围绕四个方面展开:长事务的分解方法、利用事务语义的长事务处理、利用对象语义的长事务处理以及同时利用事务和对象语义的长事务处理方法.具体工作如下:1.该文通过对一致性约束集进行分类,给出了一个判定可分解事务类型的算法,并证明对可分解事务类型进行分析所得到的分解一定满足分解特性.2.在利用事务语义方面,该文提出了基于语义的事务分解的正确性标准,并且给出一种基于有向图的正确性判定方法.在此基础上分别给出了基于锁协议和乐观方法的并发控制算法,并证明这两种算法所产生的历史是正确历史.3.在利用对象语义方面,该文给出了基于语义可串行性的乐观并发控制算法和一种基于并发控制和恢复的统一模型给出的基于锁协议的并发控制算法.4.该文给出了一种同时利用事务和对象语义的长事务和对象语义的长事务处理方法.在事务分解的基础上利用语义单元进一步提高,了并发度,给出了正确性标准和基于有向图的正确性判定方法,最后给出了一种基于乐观方法的并发控制算法,并证明该算法所产生的历史是正确历史.
其他文献
多播应用是当今互联网技术发展的热点,多播数据传输的安全性和可靠性已成为多播技术发展亟待解决的两个问题.在对多播数据传输的安全问题研究的基础上,提出了一个基于VPN的安
随着互联网的普及,电子商务以前所未有的力量冲击着人们千百年来形成的商务活动观念和方式,正导致人类社会继农业革命、工业革命之后的第三次革命。网络的开放性和共享性给我们
本文根据辽河油田地质试验的实际情况,结合MIS开发和网络数据库技术,在传统管理手段基础上,运用客户机/服务器(C/S)计算模式,以Windows2000 Server网络操作系统、ORACLE8数据库为
该文叙述的工作如下.首先介绍部分计值的思想和技术,并阐明部分计值和基于解释的泛化之间的关系,用逻辑演绎的方式表明它们的算法在本质上是一样的.接着通过具体示例详细说明
该文从实际应用出发,详尽分析了现有系统的存在问题和改进方法.在综合当前数字签名协议最新研究成果的基础上,提出了包括代理确认者签名,双重指定确认者签名,限定次数代理签
三维可视化技术是研究运用计算机图形学和人机交互技术,将科学计算过程中产生的数据及计算结果转换为三维图形,绘制显示并进行交互处理的理论、方法和技术。计算机辅助颅骨面貌
该文从笔划构图的思想出发,并着眼于陶瓷花纸、印染等工业对图案带约束变形和智能变形的要求提出了一种在于笔划模板的非真实感绘制技术.该文首先介绍几种已有的非真实感绘制
作者提出并实现了一种基于优先级的抢占式调度机制.首先,该机制采用了一种基于优先级排序的进程调度器PO-Scheduler,该调度器在保持了Linux现有调度器一切优良特性的基础之上
当今世界处于信息爆炸式的增长并且迅速更新的时代,这一客观现实对教育改革提出了全新的要求。传统的黑板加粉笔的教学手段无法适应当前大信息量的教学内容需要,为适应21世纪对
随着Internet的用户数和信息量爆炸性的发展,传统的web信息检索模式呈现出效率低下、制约发展的征兆,因此也激励人们研究和开发新的、更加高效的信息检索方法。近几年,移动agent