并发事务无死锁的可串行化调度的形式化方法

作者：罗雪梅; 王薇; 韩耀军并发控制可串行化两段锁协议死锁扩展有色petri网可达标识图

摘要：并发控制是多用户数据库管理系统(DBMS)的重要内容之一。该文对其形式化方法进行了研究，建立了符合两段锁协议的扩展有色Petri网模型。利用该模型的可达标识图，给出了判断满足两段锁协议的调度是否死锁的充分必要条件，并由此构造出并发事务的无死锁的可串行化调度。

注：因版权方要求，不能公开全文，如需全文，请咨询杂志社