论文部分内容阅读
文中给出了分布式事务/数据库系统在网络分割状态下,允许各分群中的事务在保证数据一致性的前提下,最大限度地投入运行的保守型模式及其正确性证明。根据可串行性理论和有向图,描述了事务冲突的判定问题,建立了基于时戳方法的事务运行与版本引用协议。
网络分割状态下的系统可用性
【摘 要】
：
文中给出了分布式事务/数据库系统在网络分割状态下,允许各分群中的事务在保证数据一致性的前提下,最大限度地投入运行的保守型模式及其正确性证明。根据可串行性理论和有向
【机 构】
：
中科院沈阳计算所
【出 处】
：
计算机工程与设计
【发表日期】
：
1992年4期
其他文献
DIANA是ADA程序的一种中间表示形式,它适用于ADA编译程序中两个主要工具—前端和后端之间的通信,也是ADA环境中各种工具之间的公共数据界面。DIANA的不同应用场合,可以以不同
以正丁醇与水杨酸为原料,采用对氨基苯磺酸为催化剂,通过酯化反应合成了水杨酸正丁酯。考察了酸醇物质的量比、催化剂用量、反应时间对水杨酸正丁酯化收率的影响。结果表明,
考察N-甲基吡咯烷酮（NMP）、N,N-二甲基甲酰胺（DMF）、糠醛、碳酸丙烯酯（PC）等单剂及复合萃取剂对直馏石脑油的脱芳效果。结果表明,质量比8∶2的NMP-DMF复合萃取剂对直馏石脑油的脱芳
超滤作为反渗透预处理,截留了大部分的悬浮物、胶体、有机物等,保证了反渗透装置正常运转。但超滤、反渗透存在膜易污染,易阻塞、氧化等问题,日常运行中加强对超滤反渗透的管
基于人们对加权的选择是一个模糊性的过程,文中提出加权可用带有确信度的模糊数来表示,从而引入以三元组形式表示的模糊加权这一概念。模糊加权从定性、定量和确信度三个方面
<正>锦鸡儿为豆科、锦鸡儿属落叶灌木。别名为娘娘袜、铁扫帚、金雀花、金雀根、黄刺、阳雀花、黄雀梅、绣花针、土黄豆、阳雀花,拉丁文名为Caragana sinica(Buc’hoz)Rehd。
2004年科学家发现了一种具有良好载流子迁移率、优异透光性、强大机械强度、稳定化学性的新型二维碳纳米材料。由于其独特性在生物药学和材料领域展现了潜在应用价值。实验表
要迅速掀起学习宣传六中全会精神的高潮党的十四届六中全会胜利闭幕了。六中全会通过的《中共中央关于加强社会主义精神文明建设若干重要问题的决议》，是今后一个时期指导我国
目的观察更昔洛韦在小儿秋季腹泻治疗中的作用。方法把诊断为秋季腹泻的患儿随机分为2组,观察组58例,用更昔洛韦治疗,对照组52例,用病毒唑治疗,比较2组的疗效。结果观察组总