论文部分内容阅读
本文从数据库系统在时刻t的状态N出发,构造出相应的Petri网模型,进而构造出其可达标识图.通过分析可达标识图,可判断系统是否为死锁状态.若不是死锁状态,系统是否可能出现死锁,什么情况下系统肯定不会出现死锁.最后,给出了数据库系统中事务并发操作的死锁检测方法与避免措施.
基于Petri网的并发系统活性分析
【摘 要】
：
本文从数据库系统在时刻t的状态N出发,构造出相应的Petri网模型,进而构造出其可达标识图.通过分析可达标识图,可判断系统是否为死锁状态.若不是死锁状态,系统是否可能出现死
【机 构】
：
聊城师范学院计算机科学系
【出 处】
：
小型微型计算机系统
【发表日期】
：
2003年7期
【基金项目】
：
山东省自然科学基金
其他文献
森林是陆地生态系统的主体,对调节气候、维持水资源平衡具有重要作用。掌握森林个体和群体水分传输特性对区域水量平衡的影响是评价森林生态效应的重要依据。以往由于对植物
结构-功能模型,是指能明确表达由生理过程和环境因子调控的植物三维结构生长和变化的一类模型。林木结构-功能模型整合林木形态结构和生理生态功能特征,并考虑环境因子和树木
本文作者吸取当代二语习得理论与实例，分析影响语言习得的诸多因素，特别探讨年龄因素，语言习得时间长度和接触量对习得的决定作用，双语水平问题，以及双语对于人们认知、语言、交际
目的：研究半侧卧位翻身起床减轻剖宫产术后首次起床切口疼痛的效果。方法：选择行剖宫产术后24 h的96例产妇为研究对象,分为半侧卧位翻身起床组（观察组）48例与仰卧位翻身起床组（对
我国家电行业发展的现实困境有内销市场低迷、家电行业同质化现象突出、家电行业融资困难;困境成因在于家电企业生产成本不断增高、行业缺乏自主品牌建设、电器用品需求量下