摘要
本文从基于断言的一致性定义出发,进一步完善了调度可序列化的充要条件,提出了二类较调度可序列化更弱的一致性调度类,充分计论了几种较保冲突可序列化更弱的一致性调度类之间的相互关系,着重讨论了具有容错能力的一致调度,给出了一个实用的并发控制机制(CCC)。
Beginning with the definition of consistency based on assertions, this paper made some improvements on the sufficient and necessary conditions for schedules to be serializable and presented two new consistency schedules with weaker consistency conditions than serializability. It analyzed the relationships between several schedules with weaker consistency conditions than conflict-keeping serializability. At last, it discussed some properties of the consistency sche-deuler with fault tolerance and presented a new concurrency control mechanism.
出处
《计算机学报》
EI
CSCD
北大核心
1989年第4期257-266,共10页
Chinese Journal of Computers