实时数据库中事务执行的正确性研究

来源 :现代计算机:下半月版 | 被引量 : 0次 | 上传用户:hangarfield
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
实时数据库就是其数据和事务都有显式定时限制的数据库,系统的正确性不仅依赖于事务的逻辑结果,而且依赖于该逻辑结果所产生的时间,事务处理是实时数据库中的关键问题。从实时数据库的事务特征入手,分析事务执行的结果正确性、行为正确性、结构正确性与时间正确性,论述三种正确性准则在保证时间一致性限制方面的作用,从而研究事务执行的正确性问题。
其他文献
汉英亲属称谓语系统存在很大的差异。本文从血亲和姻亲、父系和母系、长幼关系以及泛化用法几个方面分析了二者的差异,由此引申到日常的教学实践中如何让学生更好地掌握汉英
【目的】调查和分析银川不同湿地陆生昆虫群落结构组成、功能多样性及其稳定性变化。【方法】2016年5-10月选取银川黄河湿地(HH)、鸣翠湖湿地(MCH)、芦花台湿地(LHT)、水洞沟
针对LEACH路由协议簇头节点在空间上分布不均以及在远距离数据传输过程中能量消耗过多等不足,提出一种新的算法LEACH—VG。其中采用基于网络空间虚拟网格的方式来选择簇头,在网
新疆生产建设兵团,是建国初期依据毛泽东屯垦 思想创建的、并在改革开放新时期不断发展的屯垦戍边的特殊组织.它作为新疆经济和社会发展的有机组成部分,在屯垦戍边、保卫边疆
税收中性是针对税收的超额负担提出的一个概念,一般包含两种含义:一是国家征税使社会所付出的代价以税款为限,尽可能不给纳税人或社会带来其他的额外损失或负担;二是国家征税
采用新型喷淋散射技术对模拟烟气进行脱硫实验,探究了吸收液质量浓度、氧化方式、烟气流量、SO 2入口浓度等因素对脱硫效率的影响。结果表明:吸收液质量浓度的增加可提高脱硫效
对奥苏贝尔概念同化模式作了介绍,并结合初中物理教学谈了该模式在初中物理概念教学中的运用。
为提高磁共振成像(MR1)在腹部检查中的价值,采用口服Gd-DTPA溶液作为胃肠道磁共振造影剂。结果显示,口服0.09% Gd-DTPA溶液5ml/kg,进行T1加权成像,能起到良好的胃肠造影增强对比作用
运用联合分析原理建立数学模型,根据数学模型和项目情况进行系统分析设计.运用程序开发等相关技术实现在线产品分析系统。该系统提供给设计和销售人员进行产品调查和分析,从而提
根据不同接法三绕组变压器的对称序分量回路,利用基尔霍夫电流定律和相/序分量变换方法推导出了4种常见接法三绕组变压器的三相漏磁导纳阵,并分析了三相漏磁导纳阵及其子矩阵的