切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
会议论文
数据库并发控制死锁检测的Petri网方法
数据库并发控制死锁检测的Petri网方法
来源 :1999年青岛-香港国际计算机会议 | 被引量 : 0次 | 上传用户:Stephanie1121
【摘 要】
:
该文根据数据库系统当前状态,给出了一种状态数据库,根据状态数据建立了一个Petri网模型,并由该模型构造出可达标识图。通过分析该可达标识图,得到检测系统是否死锁的充分必要条件。
【作 者】
:
韩耀军
【机 构】
:
矿业学院
【出 处】
:
1999年青岛-香港国际计算机会议
【发表日期】
:
1999年期
【关键词】
:
状态数据库
并发控制
死锁检测
可达标识图
数据库系统
数据建立
模型构造
检测系统
网模型
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
该文根据数据库系统当前状态,给出了一种状态数据库,根据状态数据建立了一个Petri网模型,并由该模型构造出可达标识图。通过分析该可达标识图,得到检测系统是否死锁的充分必要条件。
其他文献
若干并粗工艺的商榷
会议
禀赋阴虚治验之我见
会议
并发多任务在计算机控制中的应用
该文根据计算机实时管理系统并发多进程的特点和处理的要求,提出了一种新的程序结构和调度管理方法,从而使得系统资源利用率提高,响应速度加快,并发的多个进程能得以实时处理。
会议
并发多任务
计算机控制
实时处理
系统资源利用率
实时管理系统
并发多进程
响应速度
管理方法
程序结构
调度
金山店铁矿并段开采矿块的中深孔研究
武钢金山店铁矿用并段方法开采Ⅱ区-130m水平东部2号~13号进路矿体,因为特殊而复杂的条件,给上盘中深孔设计和凿岩带来很大困难。该文通过中深孔孔设计方案比较,炸药单耗计算,并结合现场实
会议
金山店铁矿
并段开采
矿块
中深孔设计
炸药单耗
段方法
方案比较
加强排
岩带
现场
武钢
理想
矿用
矿体
进路
计算
东部
数字电路并发差错定位的基本特性
数字电路的并发差错定位指的是电路在正常工作条件下,无需任何外加用于定位故障的输入矢量就能自动定位其内部(包含定位器本身)的故障。在数字电路的并发差错检测理论的基础上,文
会议
并发差错定位
故障定位
完全故障
完全故障定位
定位器
变量划分
电路互连
单处理机并行处理技术及其实时控制应用
会议
单处理机
并行处理技术
实时
并发分布交互仿真工程及其支撑环境
会议
分布交互
仿真工程
一个并发多进程应用系统的Petri网模型
Petri网是定义和设计并发多过程系统的强有力工具,它既可以表示数据流,又可以表示控制流,通过建立一个并发多进程应用系统的Petri网模型,考察该系统的动态运行特性,改善系统设计,并有效避免了
会议
并发多进程
应用系统
Petri网
运行特性
系统设计
过程系统
网模型
数据流
控制流
死锁
考察
工具
分布式并发控制服务StarBus-CCS的设计与实现
随着网络计算时代的来临,分布异构环境给数据库中事务管理技术提出了新的挑战。事务管理与分布对象技术结合为问题提供了有效的解决方案。该文以事务管理与分布对象技术为基础
会议
分布式
控制服务
事务管理
分布对象技术
异构环境
网络计算
解决方案
技术结合
管理技术
数据库
时代
设计
基础
延迟写视图中的并发控制理论
会议
延迟写
视图
与本文相关的学术论文