基于Petri网的数据库系统并发控制活性分析

• 作者: 左凤朝
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: P/T网 数据库系统 Petri 网模型 可达标识图 事务 死锁
• 年，卷（期）: 2002,（17）
• 所属期刊栏目: 数据库与信息处理
• 页码范围: 202-205
• 页数: 4页
• 分类号: TP311.13
• 字数: 4467字
• 语种: 中文
• DOI: 10.3321/j.issn:1002-8331.2002.17.070

摘要

从数据库系统在时刻t的状态N出发,构造出相应的Petri网模型,进而构造出其可达标识图.通过分析可达标识图,可判断系统是否为死锁状态.若不是死锁状态,系统是否可能出现死锁,什么情况下系统肯定不会出现死锁.最后,给出了数据库系统中事务并发操作的死锁检测方法与避免措施.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	左凤朝	聊城师范学院计算机科学系	13	168	6.0	12.0