主动规则的并发控制与死锁处理

在基于规则的主动数据库系统中 ,被触发规则通常以事务模式运行 ,这些并行事务由规则耦合方式确定其开始处理时刻和可串行化提交次序 .本文根据并行事务对于共享数据对象的锁继承和锁剥夺关系 ,提出了一个并发控制算法 ,并基于事务树 (森林 )给出一个有效的死锁检测算法和具有最小代价的死锁恢复算法 .

基于补偿操作的嵌套事务死锁处理方法

补偿操作是实现复杂的数据库应用环境中嵌套事务回滚的有效方法，但是基于封锁机制的补偿操作在执行时有可能导致不可补偿死锁．文中介绍了基于补偿操作的嵌套事务死锁处理方法，讨论了两种可避免不可补偿死锁产生的安全补偿方法，并比较了它们的特点．

分布式死锁检测算法中伪死锁率的研究和改进

死锁处理是分布式系统中的关键问题,其中处理死锁最主要的手段为死锁检测。在评价死锁检测算法性能时伪死锁率被视为一项重要指标,故降低伪死锁率对提高算法性能有着促进作用,而目前大多数算法改进对伪死锁率关注较少。本文阐述了伪死锁研究的意义,并对若干种死锁检测算法的伪死锁率进行研究和模拟实验,认为现有的死锁算法可分为两类:环内检测和环无关检测。并分别通过减少冗余消息和本地死锁解决两种改进方法来降低目前算法的伪死锁率,最终实验表明算法性能获得较大提高。

基于启发性知识的研究生院课表构造

50年代末,课表编排问题国外就有人开始研究,并提出了很多的求解算法。但由于它涉及面广,影响因素多,至今仍没有找到一个通用有效的算法,它是作业调度类问题中最为困难的问题之一。1962年,Gotlieb曾提出一个课表问题的数学模型,此后人们对其算法、解的存在性等问题做了很多探索。