论文部分内容阅读
本文利用Ｐｅｔｒｉ网作为工具，从提高事务进程并行性出发，建立数据库系统的并发事务进程竞争数据资源的模型。并由此推导出死锁和临界死锁的充分必要条件及提邮相应的避免死锁的控制机制。该控制机制是通过如何对关键的空闲数据资源进行控制分配来实现避免死锁。
数据库系统中并发事务死锁的解除与避免
【摘 要】
：
本文利用Ｐｅｔｒｉ网作为工具，从提高事务进程并行性出发，建立数据库系统的并发事务进程竞争数据资源的模型。并由此推导出死锁和临界死锁的充分必要条件及提邮相应的避免死锁的控制机制
【机 构】
：
武汉交通科技大学计算机系
【出 处】
：
计算机研究与发展
【发表日期】
：
1995年4期
其他文献
将传统的丙烯酸酯类黏合剂通过有机硅改性的方法合成了一种新型的涂料印花黏合剂JP，将其应用于棉针织物的印花中。测试了涂料印花黏合剂JP的物化性能．并通过单因素试验探讨了黏
为了解决目前有些经编机上没有经轴了机自停装置．或者有了机自停装置但受生产中各种因素的影响，系统准确度低，误差较大，不利于生产控制这一问题，对经轴了机自停装置进行研究并探讨
ＭｃＡｂ的Ｉｇ同种型多态性导致不同的ＭｃＡｂ在抗肿瘤免疫中的效应差异，某些同种型的ＭｃＡｂ具有最佳的调理作用和ＡＤＣＣ等抗肿瘤效；一些抗细胞膜Ｉｇ受体息合物或抗其它表面分子的ＭｃＡｂ，可通过部分独立的途径传递抑制性
介绍超仿棉涤纶长丝及其性能，阐述以66dtex／36f超仿棉涤纶长丝为原料，在特里科高速经编机上开发经编织物的生产工艺和结构参数，并对织物在整经、织造和染整加工过程的技术要点进
针对锦纶经编布用酸性染料经轴染色易出现内外层色差、染花等问题，采用坯布高温预定形，并对卷布密度、染色流量、染色温度、匀染剂、pH值等工艺参数进行优化，得出最佳工艺条件，测
非小细胞肺癌（NSCLC）的病理诊断存在不足。本文简述了该领域的最新进展，如NSCLC细胞起源、电镜检查结果和癌基因表达与预后的关系等。
<正> 水利如何面向21世纪?如何实现可持续发展战略?如何把来之不易的水利建设资金用好?都必须从实际出发,认真、扎实地做好各项基础工作,经过科学的分析、充分的论证,不断优
针对采用色织方法织造条子布成本较高这一问题，提出采用改性锦纶66与条数较高的锦纶编织成条子布，并采用一浴染色法得到麻花条纹布，介绍了其工艺流程，主要包括编织工艺、染整工艺