摘要
判定规则集的可观察确定性,是主动数据库中的核心问题之一.本文对于数据检索采用了执行状态图,逐步求得每条执行规则对检索结果的影响,最后累积出最终的影响结果,从而确定其可观察确定性.对事务回退操作采用抽象操作符记录动作的执行顺序,通过动作的逆操作实现事务的回退操作.从而实现了规则集可观察确定性的判定.
Determining observable determinism of rules is one of key problems of active database. The paper uses the RCG for data search, in order to obtain the search results influenced by every executive rule, step by step. Finally, using the means accumulates the last influenced results, then determines the observable determinism of rules. For rollback transaction using abstract operating sings record the executive sequence, adopting the contrary execution realizes the rollback transaction. This paper realizes the determination of observable determinism of rules.
出处
《哈尔滨理工大学学报》
CAS
2006年第1期86-89,共4页
Journal of Harbin University of Science and Technology
关键词
主动数据库
可观察确定性
事务回退
传播算法
执行状态图
active - database
observable determinism
rollback transaction
propagation algorithm
RCG
