论文部分内容阅读
本文从基于断言的一致性定义出发,进一步完善了调度可序列化的充要条件,提出了二类较调度可序列化更弱的一致性调度类,充分计论了几种较保冲突可序列化更弱的一致性调度类之间的相互关系,着重讨论了具有容错能力的一致调度,给出了一个实用的并发控制机制(CCC)。
并发控制一致性理论的进一步完善
【摘 要】
：
本文从基于断言的一致性定义出发,进一步完善了调度可序列化的充要条件,提出了二类较调度可序列化更弱的一致性调度类,充分计论了几种较保冲突可序列化更弱的一致性调度类之
【机 构】
：
华中工学院,华中工学院
【出 处】
：
计算机学报
【发表日期】
：
1989年4期
其他文献
<正> 1.具有最佳连通性的超图 设日=(V,E)是一个连通超图,若V’(?)V,而HV′为不连通超图或平凡图,财称V′为H的分离点集,记点数最少的分离点集中点的数目为K(H),叫做H的(点)
<正> 1.引言 本文研究Allen-Givone多值逻辑代数系统中的“积之和”形式的函数的简化算法。首先,在讨论符合目前多值逻辑函数实现特点的合理代价标准基础上,提出了一种折衷的