摘要
可串行化的并发控制对传统应用是合适的,它旨在确保数据的“绝对正确”性.然而在实时数据库中,事务的定时限制往往比数据的“绝对正确”性更重要.为此,本文提出了一种新颖的准一致性可串行化的并发控制策略.文中着重讨论了准一致性可串行化的有关概念与理论、调度的准一致性可串行化的判别方法、并发控制协议以及在事务的准一致性可串行化并发执行中不一致性传播放大的控制策略.
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.
出处
《计算机学报》
EI
CSCD
北大核心
1999年第4期420-423,共4页
Chinese Journal of Computers
基金
国家自然科学基金
国防预研基金
关键词
串行化
并发控制
实时数据库
准一致性
数据库
Serialization, concurrency control, real-time database, quasi-consistency serializability