嵌套事务:模型、调度可序列化理论及分散式调度

来源 :复旦大学 | 被引量 : 0次 | 上传用户:lingxiaodong
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
事务处理和并发控制一直是数据库研究和实践的重要组成部分之一.而事务调度可序列化理论无疑是事务处理和并发控制的核心理论.该文开创性地提出了从更小粒度的操作层面来研究事务原子性和事力调度的本质内涵,归纳了嵌套事务模型上合理调度所需要遵循的自然约束和原子性约束,并以此为基础建立了嵌套事务模型上面向操作的调度可序列化理论.在此基础上,该文进一步研究了事务之间的逻辑执行序与嵌套事务调度可序列化之间的关联;并指出逻辑事务序只能够表达事务模型中的原子性约束,却无法体现自然约束.为此,该文将嵌套事务模型所特有的自然约束和原子性约束的混合效应提取出来,称之为隐式约束;并进一步分析了其触发条件,以将其结合到逻辑事务序的推演当中.在该文提出的各种逻辑事务序当中,表征事务序具有实现简便、维护代价小等优点,而适用于调度器部件的实现或调度协议的实现.进一步,借助表征事务序及其推导过程所具有的良好的局部化特征,并引入代理事务来消除跨系统边界部分对调度可序列化的影响,该文最终提出了实现嵌套事务模型的分散式调度的可行方法,为其在复合系统中的应用提供了理论基础.
其他文献
随着Internet的飞速发展,计算机网络资源共享地进一步加强,随之而来的网络安全问题下变得日益突出。防火墙技术正在保护网络安全方面起到十分重要的作用,是保障在被保护网络和外
该文针对人脸识别中的上述两个关键问题,在分析国内外相关研究现状的基础上,分别提出了基于器官的准确,快速正面人脸检测算法和基于眼动模型的活性判别算法.论文的具体的研究
该文主要提出利用Agent和XML实现以ERP为目标的信息系统集成方案,解决目前中国中小企业中的“信息孤岛”问题.首先介绍Agent的相关概念及相关技术,然后分析它们的应用及策略,
一般情况下,无线传感器网络都是长期分布在其所监测的区域内的,往往需要在其监测过程中对其软件进行维护和功能扩展,因此对无线传感器网络进行远程代码更新也就成为了一种不可或
CAI(Computer_Assisted_Instruction)自从五十年代产生以来,一直是计算机应用领域中研究的一个热点。从CAI的发展史来看,它的飞速发展主要依赖于教育理论的转变和计算机技术的进
基于网络的应用已由传统的客户机/服务器(C/S)向浏览器/服务器(B/S)转变。浏览器/服务器模式是电子商务的技术基础,为电子商务的实施提供了简单的解决方案。目前基于B/S模式应用的实
分类器是模式识别系统的重要组成部分,也是机器学习的重要研究领域.支持向量机(SVM)是一种拳的分类器,由于能够较好的解决小样本学习问题并具有较强的泛化能力使其迅速成为目
准确的分支预测对于提高计算机的性能非常重要。由于当今世界的主流计算机大都采用超标量、深度流水的技术,控制也越来越复杂,一条指令的预测失误很可能会导致十几甚至几十周
该文在对IPv6和IPv4协议进行对比分析的基础上,着重探讨了比较重要的两种IPv6/IPv4混合组网技术--隧道技术和协议转换技术.文中详细论述了隧道技术实现的原理和模型,分析了隧
由于在“平法“施工图中采用间接的方法表示钢筋,因此统计钢筋工程量时必须根据平面图中的标注信息并结合标准构造详图才能确定钢筋的完整信息。为了实现钢筋工程量的自动统计