基于事务回退的事务存储系统的故障恢复

针对事务存储系统机制下的容错问题,提出一种基于事务回退的事务存储系统的故障恢复方法.该方法利用事务存储系统自身的版本管理机制,避免了额外的检查点数据保存开销,从而实现了事务存储系统高效的故障恢复.通过对容错事务存储系统的隔离性证明了该方法的正确性.最后,使用包括4个SPLASH-2典型用例在内的5个测试程序对该方法进行了性能测试.实验结果表明,与经典的Checkpointing机制相比,该方法在避免了额外的检查点数据保存开销的同时,还具有较低的故障恢复开销.

主动数据库中规则可观察确定性判定问题的一个解决方法

判定规则集的可观察确定性,是主动数据库中的核心问题之一.本文对于数据检索采用了执行状态图,逐步求得每条执行规则对检索结果的影响,最后累积出最终的影响结果,从而确定其可观察确定性.对事务回退操作采用抽象操作符记录动作的执行顺序,通过动作的逆操作实现事务的回退操作.从而实现了规则集可观察确定性的判定.