-
题名基于Petri网的数据库系统并发控制活性分析
被引量:1
- 1
-
-
作者
左凤朝
-
机构
聊城师范学院计算机科学系
-
出处
《计算机工程与应用》
CSCD
北大核心
2002年第17期202-205,共4页
-
基金
山东省自然科学基金资助课题(编号:Y97G08108)
-
文摘
从数据库系统在时刻t的状态N出发,构造出相应的Petri网模型,进而构造出其可达标识图。通过分析可达标识图,可判断系统是否为死锁状态。若不是死锁状态,系统是否可能出现死锁,什么情况下系统肯定不会出现死锁。最后,给出了数据库系统中事务并发操作的死锁检测方法与避免措施。
-
关键词
petri网
数据库系统
并发控制
活性分析
可达标识图
事务
死锁
-
Keywords
p/t net,databse system,petri nets model,reachable marked graph,transaction,deadlock
-
分类号
TP311.13
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于Petri网的并发系统活性分析
- 2
-
-
作者
左凤朝
-
机构
聊城师范学院计算机科学系
-
出处
《小型微型计算机系统》
CSCD
北大核心
2003年第7期1297-1300,共4页
-
基金
山东省自然科学基金资助课题 (项目号 G0 810 8)
-
文摘
本文从数据库系统在时刻 t的状态 N出发 ,构造出相应的 Petri网模型 ,进而构造出其可达标识图 .通过分析可达标识图 ,可判断系统是否为死锁状态 .若不是死锁状态 ,系统是否可能出现死锁 ,什么情况下系统肯定不会出现死锁 .最后 。
-
关键词
p/t网
数据库系统
petri网模型
可达标识图
事务
死锁
-
Keywords
p/t net
databse system
petri nets model
reachable marked graph
transaction
deadlock
-
分类号
TP301
[自动化与计算机技术—计算机系统结构]
-