基于事务语义的多数据库系统并发存取控制方法

A SEMANTIC-BASED CONCURRENCY CONTROL APPROACH FOR MULTIDATABASE SYSTEMS

本文提出了一种多数据库系统（ＭＤＢＳ）的基于事务语义的并发存取控制方法．文中首先按对数据库一致性的影响将事务分类；接着提出了新的ＭＤＢＳ的并发调度的非可串行正确性准则；然后，叙述了称为“事务语义协议”的并发存取控制原理和方法，给出了全局调度和交付的算法和方法正确性证明．

This paper proposes a semantic-based concurrency control approach for multidatabase systems. First, transactions in a MDBS are divided into two classes:localizable and nonlocalizable. Next, a new correctness criteria are proposed which does not require serializability. Then, the principle of the proposed method, called 'transaction semantic protocol', is explained and the algorithms of global schedule and commit are given. At last, the correctness of this method are proven.