分布式主动实时数据库基于多优先级队列的优先级分派

事务的分布性和事务触发的不可预测性使得分布式主动实时数据库系统中的事务调度变得较为复杂．该文给出了立即和推迟两种模式下执行的被触发事务的截止期确定方法和事务紧急度计算方法,并结合事务的应用语又提出了一种基于多优先级队列的优先级分派策略,有利于主动事务和被触发事务的顺利提交．     

实时数据库事务

传统数据库系统设计与开发主要强调维护数据库的正确性，保持系统代价低，提供友好的用户接口。这种数据库系统对商务和事务型应用是有效的、成功的。     

实时数据库系统中的嵌套事务

传统的原子事务是由一个平坦数据库操作序列组成的,事 务的执行具有ACID(Atomicity, Consistency, Isolation, Durability)特性.然而,在实时 应用环境下,这些却不太适用.该文提出了一种支持实时应用的嵌套事务模型,给出了嵌套事 务的特性及正确性标准,着重对嵌套实时事务的优先级分派与并发控制协议进行了讨论.     

主动实时数据库事务及其处理

主动实时数据库事务较之传统数据库事务要复杂得多，文中首先对主动实时数据库事务的语义模型，信赖关系进行了初步的探讨；然后简要地分析了主动实时事务的构造及执行特征，并提出了截止时间计算模型，最后介绍了我们研制一和个主动实时的ＤＢＭＳ原型系统ＡＲＴＳ－Ｉ中主动实时事务的管理机制。     

关于实时事务调度中的优先级反转

分析了基于优先级的调度策略中优先级反转产生的原因,并且给出了RTDBS中实时平淡事务和实时嵌套事务的并发控制中优先级反转的解决方法。主要有优先级继承,高优先级夭折,优先级顶,避免优先级反转的多版本协议,基于优先级的时标排序及一些求精的算法。     

关于实时数据库事务

实时数据库事务显示了与传统数据库事务的很大不同．这些不同主要表现在事务的复杂结构、定时特性、相关性和正确性方面．本文先分析了实时数据库事务的应用特征与需求，并给出了一个复杂事务结构的框架，然后着重讨论实时事务间的相关性：结构相关、数据相关、行为相关，以及实时事务的结果、结构、行为及时间正确性．     

分布式主动实时事务语义模型与静态预分析

为支持分布式主动实时数据库事务处理的可预测性,提出了一种新的基于树的事务语义模型,该模型利用事务“关节点”的概念能较好地描述分布式主动实时事务的语义与结构特征,并能有效地支持分布式主动实时事务预分析处理与动态预测的结合。另外,分析了分布式主动实时事务的静态语义信息,构造了静态事务信息集合。     

实时主存数据库事务的预处理

本文提出了一种支持实时事务的预分析算法和基于该算法的主存数据库内外存替换策略．它首先预分析实时事务以获得事务存取行为的知识，再在事务执行时，进行基于这些信息的存取及内外存数据交换，从而实现主存数据库管理和支持实时事务的定时限制.     

主动实时嵌套事务的正确性

传统数据库通过并发控制协议及事务的恢复机制来保证事务的正确性。在主动实时数据库系统中,为了更好地支持应用,人们提出并实现了嵌套事务模型。主动实时嵌套事务的正确性比传统的原子事务更复杂。本文详细分析了主动实时嵌套事务的正确性,包括逻辑正确性、时间正确性、结构相关(正确)性及事务的行为正确性,基于事务的经历模型给出这些正确性的定义,为主动实时嵌套事务的正确性实现提供了理论基础。     

基于价值密度的替代与事务优先级分派策略

针对基于替代/补偿的实时事务模型中的优先级分派问题,提出基于价值密度的替代与事务优先级分派策略PBAC。在PBAC中,替代优先级基于替代的价值密度,并与替代的执行时间和紧迫性相关,事务优先级继承自替代的优先级,并受事务执行度的影响。仿真实验结果证明,该策略使系统可以更好地对基于替代/补偿的事务模型进行调度。     

主动实时数据库事务特征

文中分析了主动实时事件的数据特征,时间特征,主动特征,定义了实时应用环境下的数据库正确性,介绍了主动实时事务处理的技术,提出了主动实时ＤＢＭＳ中各类事务的一种集成调度策略。     

一个主动实时数据库管理系统的体系结构与执行模型

本文首先探讨了实时 DB、主动 DB的基本概念 ,然后提出了实时 DB和主动DB的结合机制 ,最后介绍了我们自行研制的一个主动实时 DBMS原型系统 ARTS- 1的体系结构与执行模型。     

网格数据库事务管理策略

网格技术的本质就是提高资源的共享能力和实现计算资源的协同处理能力.网格数据库就是使传统数据库能够充分利用网格平台的这种优势,实现传统数据库的存储、管理、处理、分析等能力的共享和协同.网格数据库中的事务也存在全局事务和局部事务之分,对全局事务要保证得到正确的执行结果,其串行化是关键.给出了网格数据库全局事务的形式化定义,以及全局事务实现串行化的条件,并进行了相关证明.     

广播环境中的移动实时事务并发控制

研究了实时数据广播中的一致性问题，由于广播环境的通信不对称性，传统的可串行化并发控制协议显得过于严格，不必要，不可行，为此，提出使用伪可串行化并发控制；形式化定义了伪可串行化的概念，证明了它虽经传统可串行宽松但能保证数据一致性，给出相应的并发控制协议，实验结果表明，新协议可显著降低平均响应时间，使更多移动实时事务满足截止期要求。     

实时数据库的准一致性可串行化并发控制

可串行化的并发控制对传统应用是合适的,它旨在确保数据的“绝对正确”性,然而在实时数据库中,事务的定时限制往往比数据的“绝对正确”性更重要。为此,本文提出了新颖的准一致性可串行化的并发控制策略,文中着重讨论了准一致性可串行化的有关概念与理论,调度的可准一致性可串行化的判别方法,并发控制协议以及在事务的准一致性可串行化并发执行中不一致性传播放大的控制策略。     

实时数据库并发控制

可串行化的并发控制对传统应用是适合的,它旨在确保数据库的一致性,提高系统的吞吐量及减小事务平均响应时间,而在实时数据库中,一方面系统追求的主要目标是单个事务定时限制（典型地为截止期）的满足,另一方面,系统中的数据库是外部环境在逻辑世界中的映射,局部的数据库不一致能够随下一次数据采样恢复而不会大规模扩散,这些都为有利于传统严格一致的可串化并发控制的并发控制协议的采用提供了必要性和可能性,本文首先给出了数据库“相似性”的形式化定义,接着提出了“视图一致性”的概念,然后提出了一种新的并发控制协议,它考虑了数据的相似性,并使只读事之间并不满足传统的严格可串行化的标准,但并没有破坏数据库的一致性,事务执行的并发度有了提高,有利于实时事务定时限制的满足,最后我们将这种并发控制协议的性能与有名的H2PL协议的性能进行了比较。     

实时数据库系统的正确性

实时数据库系统的正确性就是与定时限制紧密相联的数据库一致性和事务正确性，中对此作了详细讨论，指出ＲＴＯＢ的一致性包括内部一致、外部一致和相互一致；事务正确性包括结果正确性，行为正确性，结构正确性和时间正确性，进一步的关键问题是判断正确性的准则和表示方法，对此中提出了一个经历模型，它可方便地且来说明各种恰当的正确性。