一个基于多版本时间戳方法的并发控制协议  

A Concurrence Control Protocol Based On Muiti - version Timestamp

作　　者：桂超[1] 秦啸[1] 

机构地区：[1]华中理工大学计算机科学与工程学院,武汉430074

出　　处：《计算机与数字工程》1998年第5期26-29,共4页Computer & Digital Engineering

摘　　要：本文将延迟等待的方法引入到该协议中,并阐明此改进协议能减少重新启动的次数,具有免级联夭折的特性。可串行化只是正确运行的充分不必要条件,本文给出一类不满足可串行条件的正确运行的形式化描述,并阐明延迟多版本时间戳协议可接受此类运行。This paper introduces the method of delay and wait into the Multi - version Timestamp concurrence control protocol,and points out this can reduce the number of aborting. Serializability is only the sufficient condition of correct concurrent execution. This paper provides a formal description of a type of correct concurrent execution that are not serializable. And the fact that the new protocol can accept this type of execution is proved at last.

关 键 词：可串行性 时间戳 数据库 并发控制协议 

分 类 号：TP311.13[自动化与计算机技术—计算机软件与理论]