基于SPN模型的可生存性DBMS中恶意事务修复算法的研究  

SPN Model based Malicious Transaction Repair Algorithms in Survivable DBMS

作　　者：郑吉平[1,2] 秦小麟[1,2] 钟勇[1] 孙瑾[1] 

机构地区：[1]南京航空航天大学计算机科学与技术系 [2]南京航空航天大学信息安全研究所南京210016

出　　处：《计算机学报》2006年第8期1480-1486,共7页Chinese Journal of Computers

基　　金：江苏省高技术研究计划项目基金(BG2004-005);航空科学基金(02F52033)资助.

摘　　要：在传统的数据库恶意事务修复方案的基础上,采用Petri网模型分析事务撤销冲突和操作执行序列异常检测;进而结合可生存性DBMS特征提出恶意事务静态和on-the-fly修复算法,并在此基础上给出随机Petri网恶意事务修复模型;在分析恶意事务修复随机Petri网模型和连续时间Markov链的一致性后,给出了连续时间Markov链的恶意事务修复模型求解.Malicious transaction immediate repairing is an important aspect in building survivable DBMS. Based on traditional malicious transaction repairing solutions, this paper solves transaction undo collision and incorrect executing sequence of transaction operations using Petri net models. Considering characteristics of survivable DBMS, algorithms of static and on-the-fly malicious transaction repairing are provided. Further, related repairing system models are put up based on stochastic Petri net models. After consistency analysis of malicious transaction repairing stochastic Petri net model with continuous time Markov chain, this paper provides malicious transaction repairing solutions using continuous time Markov chain.

关 键 词：可生存性DBMS 随机PETRI网 连续时间Markov链 恶意事务修复算法 

分 类 号：TP392[自动化与计算机技术—计算机应用技术]