基于增广Petri网带封锁机制的数据库并发控制模型

摘要：

用带禁止/容许弧的增广Petri网构建一类带封锁机制的数据库并发控制模型,此模型适用于描述多个进程并发访问多个共享资源,采用两段锁协议解决了数据库中并发所引起的数据不一致性,并采用先进先出策略以及一次封锁法避免了由于两段锁协议所引起的死锁和活锁问题.最后,利用S-不变给出此模型的验证。

关键词： 增广Petri网 数据库 并发控制模型 禁止弧 容许弧 一次封锁法 S-不变量 形式化模型验证

作者: 蒋忠远 宋文 姚建

作者单位: 西华大学数学与计算机学院 四川成都 6l0039

会议类型: 国内会议

会议名称: 第十一届全国Petri网理论与应用学术年会

会议地点: 大连

会议语种:中文

页码: 164-167

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