手机知网 App
24小时专家级知识服务
打 开
手机知网|搜索

分布式数据库并发控制的一个理论模型

许龙飞

  本文引进带时间的Petri网,给出分布式数据库中并发控制中的时间标记算法(time stemp)的Petri网形式描述,并利用带时间的Petri网理论分析和验证时间标记法的有关性质。……   
App内打开