一种实时数据库系统的基于时间戳的多版本并发控制协议

实时数据库系统的定时限制包括数据的定时限制和事务的定时限制,一个好的并发控制协议必须要较好地满足这些定时限制。文章详细讨论了与并发控制有关的实时数据和实时事务的各种特征以及分类。并根据这些特点对传统数据库系统的多版本并发控制机制进行了扩展,提出了一种基于时间戳的多版本实时数据库系统的并发控制协议。该协议对硬实时事务不产生任何延迟,能够很好地保证实时事务和实时数据的定时限制,缺点是该并发控制协议仅是一个准一致性的协议。     

P2P多数据库系统中的事务并发控制研究

P2P多数据库系统是一种分布式的数据库系统,它是P2P计算系统和传统数据库系统的结合体.P2P计算系统的动态性使得P2P多数据库系统的事务管理缺少全局控制机制.在事务传播过程不存在循环的前提下,文章提出了一种保证P2P多数据库系统中事务全局串行化的并发控制协议,它通过控制一系列全局事务传播过程中每个熟识关系的两级串行化来实现.     

基于Petri网的数据库系统并发控制模型

该文对数据库系统中事务的并发操作进行了分析,讨论了共享资源的Petri网模型及其行为。给出了数据库系统中事务并发控制的Petri网模型,有效地克服了由事务的并发操作引起的各种数据不一致问题。     

实时数据库系统中的并发控制协议及分析

实时数据库系统是事务和数据都具有显示的时间限制的数据库系统,与传统的数据库系统相比,其调度和并发控制策略、方法、机制有所不同。该文在分析实时数据库系统事务并发执行的新特点的基础上,介绍了几种具有代表意义的并发控制协议,总结了三种用于分析比较并发控制性能的方法,并分析了上述并发控制协议的性能。     

WHYMX单级事务的并发控制

本文论述了面向对象数据库系统WHYMX单级事务的并发控制机制,阐明了一种适用于面向对象数据库的并发控制策略和封锁协议,有效地解决了单级事务的并发控制问题。     

分布式数据库并发控制方法研究

并发控制机制是数据库事务管理中重要的组成部分，是衡量一个数据库系统功能强弱和性能好坏的重要标志之一。分布式并发控制的目的是保证分布事务和分布式数据库的一致性，实现分布事务的可串行性，使事务具有良好的并发度以保证系统具有用户满意的效率。本文首先就分布式数据库并发事务的可串行化进行探讨并在此基础上提出分布式数据库并发控制的基本方法。     

基于分布对象Web的主流数据库集成系统

面向新一代的分布式对象Web体系结构，将全局数据库技术，全局数据库事务管理技术，主流数据库对象化组件技术和先进的CORBA对象技术综合成一体，在支持异构分布式系统的CORBA机制，全局数据库模式，全局查询语言的定义，语法和语义分析，查询优化，主流数据库的对象化表示，事务的管理，并发控制，安全管理，全局事务的完整性处理，主流数据库的集成工具，多数据库系统的管理和维护策略等方面，针对实用化的目标开展研究并加以实现。     

一种新的多层频繁模式挖掘算法

在多层频繁模式挖掘时,结合映射和并发技术,改进经典的FP-growth算法,提出了多层映射频繁模式增长算法(ML-MFP_Growth).首先对事务数据库中的项目编码预处理,随后对编码数据库的每一列进行映射,构造各层映射频繁模式树(MFP-Tree),最后并发挖掘各层MFP-Tree,得到所有频繁模式.实验表明,ML_MFP_Growth算法比传统多层频繁模式挖掘算法性能有所提高.     

安全数据库系统中的事务

在多级安全数据库系统中经典的BLP模型的“向上写”违反了数据库的完整性,并产生隐通道和带来多实例问题,事务间的提交和回退依赖也会产生隐通道,在对事务安全性分析的基础上提出了安全事务模型和安全事务正确性标准一安全冲突可串行化(SCSR),最后给出了一个避免隐通道的安全并发控制算法．     

分布式数据库并发控制方法研究

并发控制机制是数据库事务管理中重要的组成部分,是衡量一个数据库系统功能强弱和性能好坏的重要标志之一。分布式并发控制的目的是保证分布事务和分布式数据库的一致性,实现分布事务的可串行性,使事务具有良好的并发度以保证系统具有用户满意的效率。本文首先就分布式数据库并发事务的可串行化进行探讨并在此基础上提出分布式数据库并发控制的基本方法。     

基于事务截止期的动态多粒度封锁机制

多粒度封锁机制提高了数据库系统的并发性,但在实时数据库中,由于事务处理的限时特性,对传统的多粒度封锁机制提出了挑战。综合考虑多粒度封锁机制与事务的截止期,提出了一种基于事务截止期的动态多粒度封锁机制,由事务截止期确定事务冲突级别,当事务冲突到达或降到一定级别后,根据当前加锁粒度决定是否对其进行调整。通过仿真实验证明本机制可减少事务冲突,降低事务错失率及事务重启率,提高了事务并发性和实时性。     

Optimistic versus pessimistic concurrency control mechanisms in database management systems

Concurrency control mechanisms are necessary to preserve database integrity in a multi-user environment. Two kinds of concurrency control mechanisms are considered in this paper, namely optimistic and pessimistic ones. Optimistic concurrency control is based on the idea of conflicts and transaction restart while pessimistic concurrency control uses locking as the basic serialization mechanism. Analytic and simulation models of both mechanisms were developed in order to compare them as far as transaction response time is concerned. These results take into consideration parameters such as transaction arrival rate, number of database resources accessed per transaction, size of the database, system processing rate and degree of multiprogramming.     

避免隐通道的并发控制机制

本文提出了在多级安全数据库管理系统ＤＭ３中利用并发控制锁进行蔽通信的机制,讨论了改进并发控制上锁机制的三种算法,消除了这类隐通道。     

一个基于SQL的并发控制机制

传统的读写事务模型（由ｒｅａｄ（ｘ）和ｗｒｉｔｅ（ｘ）序列组成）不能使调度机制充分利用应用程序的语义信息对事务进行灵活调度，从而不能有效提高系统的并发度．本文根据ＳＱＬ语言的操作语义，给出了基于ＳＱＬ的事务模型．利用这种事务模型并结合２ＰＬ方法，设计了并发控制机制：Ｃｏｎｄｉｔｉｏｎ—ｌｏｃｋｉｎｇ．这个机制可以：（１）避免数据库中的幽灵（ｐｈａｎｔｏｍ）问题，（２）利用应用程序的语义信息和完整性约束提高系统的并发度，（３）减少发生死锁的机会．因此，这是一个实用的并发控制机制．     

Read-down conflict-preserving serializability as a correctness criterion for multilevel-secure optimistic concurrency control: CSR/RD

It is important to note that conflict-preserving serializability and related theory are artifacts of an era of database development where correctness alone was the overriding concern. With the advent of multilevel-secure databases, there is clearly a need to reexamine such theories. Any correctness criterion to govern transaction processing in the multilevel security context has to incorporate both secureness and correctness in a unified manner. This paper makes original contributions in two different but closely related areas to the optimistic concurrency control in multilevel-secure, single-version databases. First, read-down conflict-preserving serializability (CSR/RD) captures multilevel-secure database consistency requirements and secure transaction correctness properties via a single notion. Second, it presents a multilevel-secure optimistic concurrency control (MLS/OCC) scheme that has several desirable properties: If lower-level transactions were somehow allowed to continue with their executions in spite of the conflict with high-level transactions, covert timing-channel freeness would be satisfied. This sort of optimistic approach for conflict insensitiveness and the properties of non-blocking and deadlock freedom make the optimistic concurrency control scheme especially attractive to multilevel-secure transaction processing.     

一种新的实时数据库乐观并发控制方法

可串行化的并发控制对传统应用是合适的。而在实时数据库中,为了满足事务定时限制(典型地为截止期),并且考虑到局部的数据库不一致能够随下一次数据采样恢复,人们提出了准一致可串行化标准。本文基于这一标准提出了一种新的乐观并发控制协议,它考虑了数据的相似性及事务特点,提高了事务执行的并发度,有利于实时事务定时限制的满足。     

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

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

基于验证因子的实时多版本并发控制

为了解决乐观并发控制方法的不必要重启与即将超过截止期事务的重启引发的负载问题,提出了验证因子的概念及基于验证因子的实时多版本并发控制方法（MVOCC-VF）．通过对验证因子的检测,优先调度完成度较高的事务;同时结合多版本技术增强事务调度的并发度,避免了更多的不必要重启问题,尤其能有效保证即将超截止期事务的完成,并证明了协议的正确性．实验结果表明：与已有的实时并发控制方法相比,MVOCC—VF降低了事务重启个数及超截止期百分率,提高了系统的总体性能．     

Real-time concurrency control in a multiprocessor environment

Although many high-performance computer systems are now multiprocessor-based, little work has been done in real-time concurrency control of transaction executions in a multiprocessor environment. Real-time concurrency control protocols designed for uniprocessor or distributed environments may not fit the needs of multiprocessor-based real-time database systems because of a lower concurrency degree of transaction executions and a larger number of priority inversions. This paper proposes the concept of a priority cap to bound the maximum number of priority inversions in multiprocessor-based real-time database systems to meet transaction deadlines. We also explore the concept of two-version data to increase the system concurrency level and to explore the abundant computing resources of multiprocessor computer systems. The capability of the proposed methodology is evaluated in a multiprocessor real-time database system under different workloads, database sizes and processor configurations. It is shown that the benefits of the priority cap in reducing the blocking time of urgent transactions are far greater than the losses involved in committing less urgent transactions. The idea of two-version data also greatly improves the system performance because of a much higher concurrency degree in the system