| 分布式数据库并发控制的一个理论模型 |
| |
| 引用本文： | 许龙飞.分布式数据库并发控制的一个理论模型[J].暨南大学学报,1989(1):17-22. |
| |
| 作者姓名： | 许龙飞 |
| |
| 作者单位： | 暨南大学计算机科学系 |
| |
| 摘 要： | 本文引进带时间的Petri网,给出分布式数据库中并发控制中的时间标记算法(time stemp)的Petri网形式描述,并利用带时间的Petri网理论分析和验证时间标记法的有关性质。
|
| 关 键 词： | 分布式 数据库系统 并发控制 |
A Theoritilal Model of Concurrency Control in Distributed Database System |
| |
| Xu longfei.A Theoritilal Model of Concurrency Control in Distributed Database System[J].Journal of Jinan University(Natural Science & Medicine Edition),1989(1):17-22. |
| |
| Authors: | Xu longfei |
| |
| Institution: | Computer science Dept. |
| |
| Abstract: | After a brief introduction to the Timed Petri Net, a Petri Net specification of timestamp algorithm for concurrency control in distributed database is provided, followed by the analysis and demonstration of the relative properties by using the Timed Petri Net theory. |
| |
| Keywords: | Distributed database systems Concurrency control Petri nets |
| 本文献已被 CNKI 维普 等数据库收录！ |
