论文部分内容阅读
该文根据数据库系统当前状态，给出了一种状态数据库，根据状态数据建立了一个Ｐｅｔｒｉ网模型，并由该模型构造出可达标识图。通过分析该可达标识图，得到检测系统是否死锁的充分必要条件。
数据库并发控制死锁检测的Petri网方法
【摘 要】
：
该文根据数据库系统当前状态，给出了一种状态数据库，根据状态数据建立了一个Ｐｅｔｒｉ网模型，并由该模型构造出可达标识图。通过分析该可达标识图，得到检测系统是否死锁的充分必要条件。
【机 构】
：
矿业学院
【出 处】
：
1999年青岛-香港国际计算机会议
【发表日期】
：
1999年期
其他文献
该文根据计算机实时管理系统并发多进程的特点和处理的要求，提出了一种新的程序结构和调度管理方法，从而使得系统资源利用率提高，响应速度加快，并发的多个进程能得以实时处理。
武钢金山店铁矿用并段方法开采Ⅱ区－１３０ｍ水平东部２号～１３号进路矿体，因为特殊而复杂的条件，给上盘中深孔设计和凿岩带来很大困难。该文通过中深孔孔设计方案比较，炸药单耗计算，并结合现场实
数字电路的并发差错定位指的是电路在正常工作条件下，无需任何外加用于定位故障的输入矢量就能自动定位其内部（包含定位器本身）的故障。在数字电路的并发差错检测理论的基础上，文
Ｐｅｔｒｉ网是定义和设计并发多过程系统的强有力工具，它既可以表示数据流，又可以表示控制流，通过建立一个并发多进程应用系统的Ｐｅｔｒｉ网模型，考察该系统的动态运行特性，改善系统设计，并有效避免了
随着网络计算时代的来临，分布异构环境给数据库中事务管理技术提出了新的挑战。事务管理与分布对象技术结合为问题提供了有效的解决方案。该文以事务管理与分布对象技术为基础