【摘 要】
：
现代数据库技术支持并发用户,会产生大量的并发事务。为了提高数据库系统的性能和维护系统的一致性,必须保证事务并发执行的可串行化调度。可串行化检测是数据库系统中事务管
【机 构】
：
上海海洋大学信息学院,农业部渔业信息重点实验室
【基金项目】
：
国家自然科学基金项目(61702325);上海市自然科学基金项目(16ZR14100);上海市科技创新行动(16391902902)
论文部分内容阅读
现代数据库技术支持并发用户,会产生大量的并发事务。为了提高数据库系统的性能和维护系统的一致性,必须保证事务并发执行的可串行化调度。可串行化检测是数据库系统中事务管理的关键技术,一般采用执行图的判定方法。从关系运算的代数方法出发,提出基于事务执行优先关系的闭包运算和由此建立的联合逻辑公式的计算,通过逻辑判定来检验并发事务的可串行化。通过定理证明和实例验证,该方法取得了同执行图判定相同的效果,而且判定更直观,更易于操作实现,不需要建立复杂的图数据结构和在图搜索中检测环是否出现。
其他文献
采用磷酸活化法制备核桃壳颗粒活性炭,研究了在磷酸浸渍液中加入不同种类和含量添加剂对活性炭性能的影响。以亚甲基蓝和碘吸附值表征活性炭的吸附性能,并对活性炭的孔结构参
随着高血压、高血脂、糖尿病的发生,心肌梗死的发病率也明显增加.虽然指南在不断更新,使诊治急性心肌梗死更加规范和完善,但如何减少治疗风险和减少病人经济负担是目前人们所
随着我国经济不断发展以及综合国力的不断提升,生态环境问题也引起了人们高度的重视,环境监测单位所承担的责任也是很重大的,面对复杂的外部环境,环境监测单位的管理也要进行
大家身在北京，对北京的环境，尤其是对北京的空气有非常密切的关注。2011年，我国已经超越美国，成为世界上碳排放第一位的国家。当时大家对这个排名并不太在意，但从2013年大家对北京
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
在爱默生个人主义思想形成和发展过程中,以孔孟思想为代表的先秦儒家学说为其提供了参考价值和理论支持。从比较研究中发现,爱默生个人主义思想与先秦儒家思想在对待人的自立
教学反思是促进教师专业化发展的有效途径,反思可以促进教师积累教学经验,可以有效地解决教师在新课程实施中理论与实践相脱节的问题。2010年10月,笔者有幸参加了《中国教师
3月8日,国家安全监管总局监管三司召集各化工行业协会,在京召开了化工行业协会安全生产工作座谈会,会议由中国化学品安全协会承办。会上,国家安全监管总局监管三司副巡视员田
对中国共产党的纪律检查工作体制历史进行研究和考察，是实现党的十六大报告提出的进一步改革和完善党的纪律检查体制任务的需要，也是进一步增强广大干部群众对党的纪律检查工作