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

Liveness Analysis of Concurrent Control of Database System Based on Petri Nets

作　　者：左凤朝[1] 

机构地区：[1]聊城师范学院计算机科学系,山东聊城252059

出　　处：《计算机工程与应用》2002年第17期202-205,共4页Computer Engineering and Applications

基　　金：山东省自然科学基金资助课题(编号:Y97G08108)

摘　　要：从数据库系统在时刻t的状态N出发,构造出相应的Petri网模型,进而构造出其可达标识图。通过分析可达标识图,可判断系统是否为死锁状态。若不是死锁状态,系统是否可能出现死锁,什么情况下系统肯定不会出现死锁。最后,给出了数据库系统中事务并发操作的死锁检测方法与避免措施。The corresponding Petri net model is structured starting from N state of databse system at t moment ,and then a reachable marked graph is structured in this paper.The deadlock state of database system,whether its should be produced or not,is judged by analyzing reachable marked graphs.If it is not in a dealock state,whether the deadlock of system should be produced or not,under what circumstances the deadlock of system is not produced in the affirmative.Lastly,the measures of deadlock detection and avoidance are given for the concurrent operation on transaction in database system.

关 键 词：PETRI网 数据库系统 并发控制 活性分析 可达标识图 事务 死锁 

分 类 号：TP311.13[自动化与计算机技术—计算机软件与理论]