实时数据库的准一致性可串行化并发控制

QUASI-CONSISTENCY SERIALIZABLE CONCURRENCY CONTROL FOR REAL-TIME DATABASES

可串行化的并发控制对传统应用是合适的，它旨在确保数据的“绝对正确”性．然而在实时数据库中，事务的定时限制往往比数据的“绝对正确”性更重要．为此，本文提出了一种新颖的准一致性可串行化的并发控制策略．文中着重讨论了准一致性可串行化的有关概念与理论、调度的准一致性可串行化的判别方法、并发控制协议以及在事务的准一致性可串行化并发执行中不一致性传播放大的控制策略．

The serlalizable concurrency control is suitable for traditional applications. It aims at ensuring the 'absolute correctness'of data. But in real-time database systems, timing constraints of transactions are generally more important than the 'absolute correctness' of the results.Wherefore this paper presents a novel quasi-consistent serializable concurrency control strategy,discusses with the emphasis the notion and related theory on quasi-consistent serializability, a test and a concurrency control protocol of the quasi-consistent serializability of a schedule, and restricting propagation-enlargement of the inconsistencies in quasi-consistent serializable concurrent executions of transactions.