论文部分内容阅读
从数据库系统在时刻t的状态N出发，构造出相应的Petri网模型，进而构造出其可达标识图。通过分析可达标识图，可判断系统是否为死锁状态。若不是死锁状态，系统是否可能出现死锁，什么情况下系统肯定不会出现死锁。最后，给出了数据训系统中事务并发操作的死锁检测方法与避免措施。
基于Petri网的数据库系统并发控制活性分析
【摘 要】
：
从数据库系统在时刻t的状态N出发，构造出相应的Petri网模型，进而构造出其可达标识图。通过分析可达标识图，可判断系统是否为死锁状态。若不是死锁状态，系统是否可能出现死锁，什么
【机 构】
：
聊城师范学院计算机科学系
【出 处】
：
计算机工程与应用
【发表日期】
：
2002年17期
【基金项目】
：
山东省自然科学基金资助课题(编号:Y97G08108)
其他文献
合丰56号原试验代号为合交02-553—1，是黑龙江省农业科学院佳木斯分院（原黑龙江省农业科学院合江农科所）1998年以九三92—168为母本，与合丰41为父本有性杂交育成。2009年，黑龙江省
昌粳9号是昌宁县农业科学技术推广所育成的中熟粳稻新品种,主要特点是抗病性强、适应性广、产量高、食味好。2002～2003年试验产量比对照合系41号增产13.1%～16.2%,是适宜温凉地
宁粳43号是宁夏农林科学院农作物研究所选育的优质高产水稻新品种，2009年3月通过宁夏回族自治区品种审定委员会审定。该品种表现高产、稳产、优质、抗病、适应性广等特点，不仅