并发事务无死锁的可串行化调度的形式化方法

• 作者: 王薇 罗雪梅 韩耀军
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 并发控制 可串行化 两段锁协议 死锁 扩展有色Petri网 可达标识图
• 年，卷（期）: 2004,（10）
• 所属期刊栏目: 数据库与信息处理
• 页码范围: 181-183,229
• 页数: 4页
• 分类号: TP311
• 字数: 4549字
• 语种: 中文
• DOI: 10.3321/j.issn:1002-8331.2004.10.058

摘要

并发控制是多用户数据库管理系统(DBMS)的重要内容之一.该文对其形式化方法进行了研究,建立了符合两段锁协议的扩展有色Petri网模型.利用该模型的可达标识图,给出了判断满足两段锁协议的调度是否死锁的充分必要条件,并由此构造出并发事务的无死锁的可串行化调度.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王薇	同济大学应用数学系	16	63	5.0	6.0