满足2PL协议的无死锁事务并发控制Petri网模型  

Petri Net Models for Deadlock-Free Transaction Concurrency Control with 2PL Protocol

作　　者：孙琳[1] 吴哲辉[1] 崔焕庆[1] 

机构地区：[1]山东科技大学信息科学与工程学院,山东青岛,266510 山东科技大学信息科学与工程学院,山东青岛,266510 山东科技大学信息科学与工程学院,山东青岛,266510

出　　处：《系统仿真学报》2005年第z1期55-58,共4页Journal of System Simulation

基　　金：国家自然科学基金资助课题(60173053)

摘　　要：在建立满足2PL协议的数据库事务并发控制的Petri网模型后,通过分析资源的调度过程得到可能产生死锁的资源集,在模型上对其进行控制,从而得到无死锁的满足2PL协议的事务并发控制的Petri网模型.

关 键 词：2PL协议 严格2PL协议 死锁 PETRI网 并发 

分 类 号：TP311.13[自动化与计算机技术—计算机软件与理论]