论文部分内容阅读
探讨并行规则事务对于共享数据对象的锁继承和锁剥夺关系,提出一个并发控制算法,并基于层次可串行性标准证明算法的正确性.
事务框架下主动规则的并发控制算法
【摘 要】
：
探讨并行规则事务对于共享数据对象的锁继承和锁剥夺关系,提出一个并发控制算法,并基于层次可串行性标准证明算法的正确性.
【机 构】
：
吉林大学计算机科学系
【出 处】
：
吉林大学自然科学学报
【发表日期】
：
2001年2期
【基金项目】
：
国家自然科学基金，吉林省科技发展计划
其他文献
以甲胺、氯乙酸钠、氰酸钠等为原料，用“一锅法”合成1-甲基海因，合成总收率为62．9％．单晶经X射线衍射方法解析，其晶体属于单斜晶系，P21空间群，其中口=0．5589（3）nm，b=1．2176（6）nm，c=0．8090（4）nm；β