2PL协议的Petri网模型

2PL协议是目前并发事务数据库广泛采用以保证并发调度正确性的封锁协议,该文给出了2PL协议的Petri网模型,并利用该模型给出可预防死锁的封锁序列。     

多版本两段锁协议优化

多版本两段锁MV2PL协议是集中式和分布式数据库中广泛采用的并发控制方法。文中对传统的多版本两段锁MV2PL协议进行了优化,提出了一种更适合数据库的事务执行方法。     

多版本两阶段封锁并发控制协议性能研究

在并行实时数据库中，并发控制协议不仅要满足数据库一致性约束，而且要满足时间约束。本文提出了实时多版本两阶段封锁并发控制协议，它能有效地减少延误截止时间事务数量。作者通过仿真模拟，在共享磁盘体系结构下与HP2PL和OCC-TI-WAIT-50协议进行了比较。实验结果表明，该协议比HP2PL和OCC-TI-WAIT-50协议性能更好。     

NCS中实时数据库的多版本并发控制研究

实时数据库是网络控制系统(NCS)的重要组成部分,是整个控制系统中数据交换的平台。本文在原有的两段锁机制的基础上,提出一种适用于多版本的两段锁并发控制方法。简述数据多版本给现场控制带来的不利影响。分析在数据多版本的情况下,现场事务的可串行性,用多版本并发控制协议MV2PL解决多版本并发控制问题。用简化的多版本并发协议2V2PL说明它的正确性,并通过实例表明该协议是可行的。     

实时主动数据库有效性检查并发控制协议

在实时主动数据库中,事务不仅有时间约束,而且事务执行可能触发其它事务执行。传统并发控制协议不适应于实时主动数据库系统。该文研究了实时主动数据库事务执行模式,提出了有效性检查并发控制协议。协议使用动态调整串行次序策略,避免不必要的事务重启动。通过仿真模拟与HP2PL协议和OCC-TI-WAIT-50协议进行了比较。结果表明,该协议能有效地降低事务延误截止时间率和事务重启动率,性能优于HP2PL和OCC-TI-WAIT-50协议。     

用积分法处理分布式数据库中的多副本并发控制问题

在分布式系统中,采用的并发控制(CC)方法对事务处理系统的性能有着重要影响。介绍了主要的并发控制方法、加锁模型和两阶段锁(2PL)协议,提出了基于锁机制且遵守2PL协议的悲观控制方法--积分法。该方法既能减少网络中数据的传送量,又具有很好的并发性,可以很好地处理多副本并发控制问题。实验结果证明,该积分法可以比其他方法取得更好的性能。     

实时Client/Server数据库多版本两个阶段封锁并发控制协议

提出了实时Client／Server数据库多版本两阶段封锁并发控制协议．该协议具有多版本并发控制机制与两阶段封锁机制的优点，使用如下策略以减少延误截止时间事务数量：若冲突集中有比持锁事务Ti优先级高的事务，且Ti重启动不会延误截止时间，则Ti重启动，冲突集中优先级最高的事务获得锁；否则，冲突集中其它事务等待．为了提高只读事务的响应时间，客户端设有一致数据库影子，只读事务在客户端处理．通过仿真模拟，与2V2PL和OCC—TI—WAIT—50协议进行比较，结果表明：该并发控制协议不仅能有效降低事务延误截止时间率，而且能改善只读事务的响应时间，减少优先级高事务的锁等待时间．协议性能优于2V2PL协议和OCC—TI—WAIT—50协议．     

实时Client/Server数据库并发控制和恢复机制研究

该文提出了实时Client／Server数据库系统多版本两阶段封锁并发控制协议和有效的恢复机制。协议区分只读事务和更新事务。只读事务在执行读操作时遵从多版本时间排序协议,更新事务执行强两阶段封锁协议,即持有全部锁直到事务结束。只读事务读请求从不失败,不必等待等特性。在典型数据库系统中,读操作比写操作频繁。这个特性对于实践来说至关重要。为了提高只读事务的响应时间,协议让每个客户端与一个一致数据库影子相联,只读事务在客户端处理。更新事务提交到服务端运行。服务端每个事务Ti在提交时系统必须向所有客户端广播信息。客户端根据得到的广播信息自动构造一致数据库影子。一致数据库影子还将用于系统恢复。通过仿真模拟。与2V2PL和OCC-TI-WAIT-50协议进行比较,结果表明：该并发控制协议不仅能有效降低事务延误截止时间率和重起动率,而且能改善只读事务的响应时间,减少优先级高事务的锁等待时间。协议性能优于2V2PL协议和OCC-TI-WAIT-50协议。     

无线移动环境中的拉式实时并发控制机制

考虑到诸如带宽、移动性、频繁断接等限制，传统可串行化并发控制协议显得过于严格而无法满足移动实时数据库环境的要求。该文首先形式化定义并分析了弱可串行化正确性准则，弱可串行化比传统冲突可串行化宽松且能始终保证数据库的一致性。进而给出了一种适宜于移动实时数据库的弱可串行化并发控制协议WMHP-2PL。最后性能实验证实了新协议的有效性。     

2PL并发控制的研究与实现探析

将数据库技术分别与面向对象技术（OO）和实时系统（RTS）等技术结合，在传统的2PL基础上提出了改进办法，实现OODBS中的资料一致性处理，在实时数据库系统中，建议使用一种新的协议：锁全写（2PL－LW）解决死锁，为在RTDBS系统中实现对事务处理提供了可行的并发控制调度方案。     

并发事务无死锁的可串行化调度的形式化方法

并发控制是多用户数据库管理系统(DBMS)的重要内容之一。该文对其形式化方法进行了研究,建立了符合两段锁协议的扩展有色Petri网模型。利用该模型的可达标识图,给出了判断满足两段锁协议的调度是否死锁的充分必要条件,并由此构造出并发事务的无死锁的可串行化调度。     

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

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

解决分布式数据库2PL执行-提交冲突的一种改进的乐观方法

分布式数据库系统通常采用2PL(两阶段锁定协议)来维护其一致性.本文运用Shadow-Opt方法,通过区分写操作将新旧算法结合从而保证一致性并提高性能.     

Windows Phone数据访问技术研究

在移动互联网时代,必须有效解决智能终端设备如何访问关系数据库中的数据问题。Windows Phone 给出的解决方案是,首先利用对象关系映射技术为关系数据库建立实体对象模型;然后使用REST风格的WCF数据服务封装实体对象上下文,Windows Azure可作为发布该服务的载体;最后遵循开放式数据协议的规范查询及操作数据。对相关技术进行了较深入的研究,并使用MVVM模式给出了一个具体的实例,论证了该方案的可行性。由于智能终端可以通过开放数据协议访问和操作部署在Windows Azure中的WCF数据服务,结果以XML的形式返回,从而使得Windows Phone数据访问的模式可以扩展到使用其它操作系统的智能终端平台,如Android、IOS等。     

连续贝叶斯网络模型在断面调查数据的应用

研究目的是验证连续贝叶斯网络模型可以从断面调查数据获取因果信息。使用L1MB、TC、PCB和Two-Phase等连续贝叶斯网络结构学习算法,从美国健康和营养调查（NHANES）提供的真实断面调查数据,获取潜在的因果关系。实验结果表明这些算法能不同程度地从横断面调查数据发现相应的因果关系,适用于高斯和非高斯数据的PCB算法,以及Two-Phase算法的学习性能优于仅适用于高斯数据的L1MB算法和TC算法。结合PCB算法和Two-Phase算法进行因果分析,这样得到的因果结构才较为全面。     

A multi-granularity locking model for concurrency control inobject-oriented database systems

A locking model adopting a multi-granularity approach is proposed for concurrency control in object-oriented database systems. The model is motivated by a desire to provide high concurrency and low locking overhead in accessing objects. Locking in schemas and locking in instances are developed separately and then are integrated. Schema changes and composite objects are also taken into account. A dual queue scheme for efficient scheduling of lock requests is developed. The model consists of a rich set of lock modes, a compatibility matrix, and a locking protocol. Characteristic query examples on single class, class lattice, and composite objects are used to illustrate the comparison between the ORION model and the proposed model. It is shown that our locking model has indeed made some improvements and is suitable for concurrency control in object-oriented databases     

On Using Real-Time Static Locking Protocols for Distributed Real-Time Databases

The use of Static Two Phase Locking Protocols (S2PL) for concurrency control in real-time database systems (RTDBS) has received little attention in the past. Actually, real-time S2PL (RT-S2PL) protocols do possess some desirable features making them suitable for RTDBS, especially for distributed real-time database systems (DRTDBS) in which remote locking is required and distributed deadlock is possible. In this paper, different RT-S2PL protocols are proposed. They differ in their methods of reducing the blocking time of higher priority transactions. Their performance is studied and compared with a real-time dynamic two phase locking protocol (RT-D2PL), called Hybrid Two Phase Locking (Hb2PL). The impact of different system and workload parameters, such as mean inter-arrival time of transactions, number of remote lock requests of a transaction, communication overhead for sending messages, and database size on their performance have been examined. The performance results indicate that the RT-S2PL protocols are suitable for DRTDBS in which the proportion of local locks of a transaction is small and the communication overhead for locking is high.     

基于可信计算和HIP的Web数据库安全模型

为解决现有Web数据库系统在多宿主、可移动网络环境中的应用安全问题,引入策略执霂模块(PEM),提出一种基于可雷计算和主机标识雟议(HIP)的Web数据库安全模雿。使用HIP对平台身份进霂验证,利用可雷计算模块确保平台安全。分析结果表明,该模雿具有较好的安全霆,在支持主机移动和多宿主应用的同时,能够抵御病毒、木马等平台内部危害以及拒绝服务攻击、中间人攻击等网络威雤。