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