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

摘要：

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

关键词： Petri网模型 2PL协议 死锁 Petri网 数据库事务并发控制

作者: 孙琳 吴哲辉 崔焕庆

作者单位: 山东科技大学信息科学与工程学院,山东青岛,266510

会议类型: 国内会议

会议名称: 第十次全国Petri网学术年会暨形式化方法学术讨论会

会议地点: 江苏镇江

会议语种:中文

页码: 55-58

在线出版日期: 2005-10-01（万方平台首次上网日期，不代表论文的发表时间）