论文部分内容阅读
探讨并行规则事务对于共享数据对象的锁继承和锁剥夺关系,提出一个并发控制算法,并基于层次可串行性标准证明算法的正确性.
事务框架下主动规则的并发控制算法
【摘 要】
：
探讨并行规则事务对于共享数据对象的锁继承和锁剥夺关系,提出一个并发控制算法,并基于层次可串行性标准证明算法的正确性.
【机 构】
：
吉林大学计算机科学系
【出 处】
：
吉林大学自然科学学报
【发表日期】
：
2001年2期
【基金项目】
：
国家自然科学基金，吉林省科技发展计划
其他文献
早期阶段肝细胞癌及其相关结节的病理学与影像学研究朱文江①综述田建明丛文铭②审校肝细胞癌（ｈｅｐａｔｏｃｅｌｕｌａｒｃａｒｃｉｎｏｍａ；ＨＣＣ）大多数发生在肝硬化基础上，因为慢性肝病是最重要的致病因素。在我国绝大多数ＨＣＣ患者
梗阻性黄疸门静脉变化的ＣＴ测量及其意义薛雁山，郭宏秀梗阻性黄疸的ＣＴ研究，国内外已有不少报道。本研究的目的就是通过ＣＴ测量不同原因引起的肝外胆管梗阻病例的门静脉变化，探讨梗阻性黄
糖尿病肾病肾实质改变与彩色多普勒血流指数间关系探讨陈文卫①周立明郝力丹孙有刚毕惠敏②我们应用彩色多谱勒血流显像技术对６１例糖尿病肾病病人的肾实质改变与肾血流指数间关
扭说,当武松打虎之后,他觉得官府的工资太低,决定再找份工作,正好江南电影公司在招收武术指导,于是他就送上了一份自荐书: 本人25岁,自幼练武,十八般武艺样样精通。本人以棍
阳光温柔地照着水面,水儿发出黑珍珠般的亮泽。水草儿你拥着我,我拥着你,连成一片。微风吹拂,河水荡漾,翻起黑褐色的涟漪,飘散着重重的腥味儿。我就喜欢河水这样吻着我,如此
初三,一个刺眼的词,幸好我有四年制做后盾,才使我能够去喜欢初三。初三的紧张我当然知道,而且,降级生曾告诉我在初三时,一学期他只上了两节自习。那不是困难,它吸引我的地方
以甲胺、氯乙酸钠、氰酸钠等为原料，用“一锅法”合成1-甲基海因，合成总收率为62．9％．单晶经X射线衍射方法解析，其晶体属于单斜晶系，P21空间群，其中口=0．5589（3）nm，b=1．2176（6）nm，c=0．8090（4）nm；β