论文部分内容阅读
本文从数据库系统在时刻t的状态N出发,构造出相应的Petri网模型,进而构造出其可达标识图.通过分析可达标识图,可判断系统是否为死锁状态.若不是死锁状态,系统是否可能出现死锁,什么情况下系统肯定不会出现死锁.最后,给出了数据库系统中事务并发操作的死锁检测方法与避免措施.
基于Petri网的并发系统活性分析
【摘 要】
：
本文从数据库系统在时刻t的状态N出发,构造出相应的Petri网模型,进而构造出其可达标识图.通过分析可达标识图,可判断系统是否为死锁状态.若不是死锁状态,系统是否可能出现死
【机 构】
：
聊城师范学院计算机科学系
【出 处】
：
小型微型计算机系统
【发表日期】
：
2003年7期
【基金项目】
：
山东省自然科学基金
其他文献
1955年1月15日,党中央作出了发展我国原子能事业的战略决策,揭开了中国核工业发展的序幕。自1964年中国第一颗原子弹和1967年第一颗氢弹爆炸成功,到1970年中国自主研制的第一
目的：探讨分析锌剂辅助治疗小儿急性腹泻的临床疗效观察。方法：将收治的急性腹泻患儿196例，按照患儿就诊先后顺序随机分为治疗组和对照组各98例，其中对对照组的患儿使用常规治疗
森林是陆地生态系统的主体,对调节气候、维持水资源平衡具有重要作用。掌握森林个体和群体水分传输特性对区域水量平衡的影响是评价森林生态效应的重要依据。以往由于对植物
2019年9月4日,以"寻梦中原盆景,相约美好天中"为主题,由河南省盆景协会主办,驻马店市城乡一体化示范区承办,驻马店市驿城区泓丰房地产开发有限公司、驻马店市盆景协会协办的
结构-功能模型,是指能明确表达由生理过程和环境因子调控的植物三维结构生长和变化的一类模型。林木结构-功能模型整合林木形态结构和生理生态功能特征,并考虑环境因子和树木
本文作者吸取当代二语习得理论与实例，分析影响语言习得的诸多因素，特别探讨年龄因素，语言习得时间长度和接触量对习得的决定作用，双语水平问题，以及双语对于人们认知、语言、交际
目的：研究半侧卧位翻身起床减轻剖宫产术后首次起床切口疼痛的效果。方法：选择行剖宫产术后24 h的96例产妇为研究对象,分为半侧卧位翻身起床组（观察组）48例与仰卧位翻身起床组（对
我国家电行业发展的现实困境有内销市场低迷、家电行业同质化现象突出、家电行业融资困难;困境成因在于家电企业生产成本不断增高、行业缺乏自主品牌建设、电器用品需求量下