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

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

实时数据库事务的互斥与同步

实时数据库事务具有许多不同于传统数据库事务的特性，其互斥和同步问题远比传统数据库事务复杂。该文结合已研制成功的嵌入式实时数据库系统ARTs-EDB，重点讨论实时数据库事务的互斥与同步技术。事务互斥用于实现对数据库共享数据“互斥地”访问。根据数据共享特性的不同，实时事务的互斥可分为两类，一类是通过设置“优先级相关”互斥量而实现的互斥，另一类是通过数据库系统提供的并发控制策略而实现的互斥。事务同步是实时数据库事务的特有要求，主要用于实现嵌套事务内部事务的互相等待与互通消息，以保证嵌套事务的内部一致性。     

混合的实时嵌套事务并发控制协议

嵌套事务作为扩展事务模型的一种,提供了事务内部的并行性和更好的失败恢复选择,具有较为广泛的应用,然而却给事务并发控制带来了更高的复杂性,尤其在实时数据库中事务具有时间限制.针对实时嵌套事务模型,提出了一种混合并发控制协议,对同一事务树内的子事务采用锁协议,对不同事务树之间的事务采用基于动态调整串行化顺序的乐观并发控制协议,提高了事务的成功率,最后证明了协议的正确性.     

嵌套事务的正确性及锁协议*

嵌套事务作为扩展事务模型的一种,应用较为广泛,对嵌套事务正确性进行了描述,并给出了一个嵌套事务模型的并发控制锁的协议。     

Sybase数据库事务完整性研究

介绍了数据库数据完整性及事务完整性概念,讨论了Sybase事务、嵌套事务、两阶段提交事务完整性技术,着重说明了利用应用编程手段实现两阶段提交事务的完整性的方法。该文所介绍的方法已成功应用于“中国铁路客票发售和预订系统”这一基于多层客户/服务器体系结构的大型实时联机事务处理系统中。     

移动分布式实时嵌套事务提交

在移动分布式计算环境中,事务移动性和无线网络固有的缺陷使得传统的分布式实时事务管理机制不足以支持移动分布式实时事务的执行,故有必要为移动实时事务研究新的事务处理机制,以提高其成功率.着重研究移动实时事务的提交机制.首先,通过分析移动分布环境中实时事务的特点给出了一个基于功能替代的移动实时嵌套事务模型.然后,提出了一个基于此模型的三层提交结构以及能够保证移动实时事务原子性和结构正确性的三阶段实时提交协议3PRTC(three-phase real-time commit).性能测试表明,所提出的事务模型及其提交机制能够提高实时事务的成功率.     

主动实时数据库的事务处理

现在越来越多的研究关注于主动实时数据库。提出了主动实时数据库下的事务概念模型，这个模型是专门用在实时环境下的嵌套事务模型；介绍了一个事务执行模型的执行原理及该模型各个模块的功能；最后提出了一个事务调度算法，并在此基础上与别的常见的算法进行了性能分析。     

事务标识的研究与实现

事务标识的分配是影响嵌套事务执行效率的重要因素之一.文章深入分析了在嵌套事务模型下,事务处理对事务标识的需求.以此为基础,提出了一系列实用有效的分配策略.其中,基于位的事务标识分配策略实际应用于自行研制的面向对象数据库系统KDOODB(KeDa object oriented database)中.最后给出了性能测试的结果.     

一种支持工程设计事务的乐观并发控制方法

传统乐观并发控制方法对工程设计事务支持较弱。该文以嵌套事务模型为基础并结合检入＝检出机制,提出一种改进的乐观并发控制方法,能够较好地解决传统乐观并发控制方法在工程设计务应用上存在的问题并提高了事务的并发度。     

一种改进的实时事务调度策略

文中提出一种改进的实时事务调度策略，由改进的优先级分配机制ＨＡＥＤ和相应的实时并发控制算法两部分组成。针对嵌套事务模型，提出了一种子事务截止期的分配方法。最后对改进策略进行了性能模拟。模拟结果表明，改进策略的系统性能在一定程度上优于原有的调度策略。     

传感器网络中协作实时数据库事务的提交控制

传统的事务模型由于其严格的ACID特性无法适应传感器网络中协作事务的实时性要求.因此着重研究传感器网络中协作实时数据库事务的提交机制.首先,分析传感器网络中实时数据库应用的协作特性,放松事务的严格ACID要求,运用控制区域的概念提出一种基于事务的行为语义控制区域的事务模型.然后,给出该模型的提交、回滚、可见规则及能保证数据库一致性和协作事务实时性的三阶段提交协议,并通过补偿事务保证外化信息准确性.性能测试表明,该模型及提交机制提高了采集数据的外化率和协作实时事务的成功率.     

Scheduling Value-Based Nested Transactions in Distributed Real-Time Database Systems

Many noticeable studies have focussed on scheduling flat transactions in a distributed real-time database system (RTDBS). However, a nested transaction model has been widely adopted in many real-life applications such as Internet stock trading systems and telecommunications. This work concerns efficiently scheduling real-time nested transactions in a distributed RTDBS. A new real-time scheduler called flexible high reward for nested transactions (FHRN) is proposed. FHRN consists of (1) FHRN_p ¹ policy to schedule real-time nested transactions and (2) 2PL_HPN to resolve the concurrent data-accessing problem among interleaved nested transactions. Simulation results show that FHRN outperforms these existent real-time schedulers such as random priority (RP), earliest deadline (ED), highest value (HV), hierarchical earliest deadline (HED), and highest reward and urgency (HRU) when an application requires a nested transaction model.     

移动实时嵌套事务的并发控制

在移动计算环境中，事务移动性和无线网络固有的缺陷使得传统分布式实时事务管理机制不足以支持移动实时事务的执行，故有必要为移动实时事务研究新的事务处理机制以提高其成功率．该文着重研究移动实时事务的并发控制机制．首先，该文给出了一个考虑事务定时限制以及移动性的嵌套事务模型．然后，为减少移动分布式环境中解决数据冲突的开销，该文研究了一种结合优先级夭折和优先级继承的基于封锁的并发控制协议PAI-2PL．当高优先级事务被低优先级事务阻塞时，对于相同家族事务，采用优先级继承方法解决冲突；而对于不同家族事务，则夭折重启低优先级事务．另外，为减少由于断接所引起的无效阻塞，PAI-2PL允许低优先级事务夭折处于断接状态的高优先级事务．通过性能测试，表明所提出的事务模型及并发控制机制能提高实时事务的成功率．     

关于实时数据库事务

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

一种面向混合实时事务调度的并发控制协议

首先给出了一个两层结构的混合实时数据库系统模型，其中支持采用非定期任务调度算法来改进系统的性能．进一步，针对这种模型下混合事务的数据一致性问题，提出了一种新的并发控制协议——MCC-DATI．该协议采用动态优先级驱动的调度算法，通过限制非定期的软实时事务对硬实时事务的阻塞时间，保证硬实时事务的可调度性；同时，采用非定期任务调度算法以及基于时间戳间隔的动态串行化顺序调整机制来减少软实时事务的截止期错失率．仿真实验表明，相对于先前的混合事务的并发控制协议，该协议在不同的系统负载与截止期约束下都能够改进系统的性能。     

移动计算环境中实时嵌套事务并发控制协议的研究

提出了移动计算环境中多版本乐观并发控制协议(MultiversionOptimisticConcurrencyControl,MVOCC)处理移动实时嵌套事务.协议消除了只读事务和更新事务之间冲突,通过动态调整事务串行次序,避免不必要的事务重启动.只读事务在移动主机处理,只读事务的响应时间大大改善.事务有效性检查分两级局部有效性检查和全局有效性检查.局部有效性检查在移动主机进行.通过局部有效性检查的事务提交到服务器进行全局有效性检查.如此早地检测数据冲突,节省了处理和通信资源.通过模拟仿真,对协议进行了性能测试,并与OCC-TI-WAIT50和HP2PL协议进行了比较.实验结果表明该协议要优于其它协议.协议不但能有效地降低事务的重启动率和延误截止时间率,而且改善只读事物的响应时间.     

基于功能替代的嵌入式实时事务提交策略

在嵌入式实时数据库系统中,实时事务执行效率的高低直接影响着整个数据库系统性能的好坏。因此有必要对嵌入式实时事务进行有效预分析和预处理,以支持实时事务实现定时限制。文章给出了一种基于功能替代并且考虑实时事务定时性、功能替代性、多种相关性的实时事务提交策略,大大提高了实时事务执行的成功率。     

实时数据库事务的正确性及实现算法

实时数据库系统中事务可以有定时限制（典型地为截止期）,事务超过截止期可能给系统带来灾难性后果,事务不光要满足数据库的完整性与一致性,而且要满足在时间上的正确性以及事务之间在结构上的正确性,传统的事务处理方法仅着眼于事务存取数据库的正确性,对于时间正确性与结构正确性无能为力,详细讲座了实时事务的正确性,包含结果正确性、时间正确性、行为正确性及结构正确性,已有的研究成果中大多用不央的算法及策略来保证不同的正确性要求;给出了保证实时事务正确性的一个统一的图论算法。