手机知网 App
24小时专家级知识服务
打 开
计算机软件及计算机应用
手机知网首页
文献检索
期刊
工具书
图书
我的知网
充值中心
分布式数据库并发控制的一个理论模型
暨南大学计算机科学系,
|
许龙飞
本文引进带时间的Petri网,给出分布式数据库中并发控制中的时间标记算法(time stemp)的Petri网形式描述,并利用带时间的Petri网理论分析和验证时间标记法的有关性质。
机 构:
暨南大学计算机科学系,;
领 域:
计算机软件及计算机应用
;
关键词:
分布式数据库系统
;
并发控制
;
Petri网
;
0
47
下载PDF版
手机阅读本文
下载APP 手机查看本文
暨南大学学报(自然科学与医学版)
1989年01期
精选好书
查看更多好书
相似文献
期刊
硕士
博士
会议
报纸
参考文献
引证文献
共引文献
同被引文献
二级参考文献
二级引证文献
图书推荐
相关工具书
搜 索