保证数据一致性是对数据库的最基本的要求。数据库 的重要特征是它能为多个用户提供数据共享。因此 DBMS必须提供并发控制机制来保证数据库的一致性。 数据库的并发控制以事务为单位通常使用封锁技 术实现并发控制。 本章介绍两类最常用的封锁和三级封锁协议。不同 的封锁和不同级别的封锁协议所提供的系统一致性保证 是不同的,提供数据共享度也是不同的

8.1 并发控制概述 8.2 封锁 8.3 封锁协议 8.4 活锁和死锁 8.5 并发调度的可串行性 8.6 两段锁协议 8.7 封锁的粒度 8.8 Oracle的并发控制 8.9 小结

一、什么是胚胎学? 定义一胚胎学是研究个体在母体子宫内正常发育过程及其机理的科学,同时也研究先天性畸形的发生及其预防。 研究一正常发育、先天性畸形

采用Cu-CuSO4-16%H2SO4浸泡实验、双环电化学动电位再活化(DL-EPR)法和动电位交流阻抗(DEIS)研究了不同热处理状态00Cr12Ti在0.1 mol·L-1 H2SO4+0.0001 mol·L-1 KSCN溶液中的电化学行为.结果表明:1000℃保温2 h的试样发生敏化,650℃保温2 h的试样不发生敏化.不同热处理状态主要影响合金的再活化过程,对合金的活化过程影响很小.在再活化过程中,对于1000℃保温2h试样,容抗弧显著减小而后逐渐增大,且低频区出现负阻抗,发生钝化膜的破裂和修复;而650℃保温2 h试样钝化膜相对稳定,没有发生钝化膜破裂和修复.发生晶间腐蚀后,1000℃保温2 h试样电荷转移电阻(Rct)明显小于650℃保温2 h试样的钝化膜电阻(Rp),这是由敏化试样发生局部腐蚀造成的

测定了Fe2O3在熔融还原合成渣中被碳还原时,还原气体产生泡沫渣的高度与时间的关系.由发泡特性参数方程计算了不同条件下的发泡特性参数,从而可以对熔融还原过程中由内生气源引起的发泡过程进行定量描述。为在铁浴中控制泡沫渣现象提供了必要的基础

为了有效地挖掘事件序列频繁情节,提出了一种广义后缀树结构发现和存储频繁情节．此结构利用广义后缀概念并且树中只包含频繁情节结点,用频繁情节发生列表逐层构建的方法提高了建树效率．该方法充分利用了事件序列的有序特点,可用于发现各类频繁情节．实验结果表明该算法性能优于Apriori-like频繁情节发现算法．

采用反应烧结法制备了MgAlON结合的镁质、镁铝尖晶石质和刚玉质试样,研究了不同主晶相对MgAlON单相结合相形成温度的影响及化学反应引起的体积膨胀和氧化物挥发对材料烧结的影响.结果表明:虽然用以形成MgAlON结合相的混合细粉的组成和数量都相同,但MgAlON结合的镁质、镁铝尖晶石质和刚玉质试样中形成MgAlON单相结合相的温度是不同的,依次呈升高趋势;MgAlON结合镁质试样在烧成过程中体积显著膨胀,MgO大量挥发,烧后试样镁砂颗粒和基质结合松散,密度低,强度小;MgAlON结合刚玉试样在烧成过程中体积膨胀小,氧化物挥发少,烧后试样刚玉颗粒和基质结合紧密,密度较高,强度较大;而MgAlON结合镁铝尖晶石试样烧成过程中的体积膨胀量、氧化物挥发量,烧后试样颗粒和基质的结合程度、密度和强度都介于前两者之间

通过对Cu-0.2%Al合金施加直流、交流和脉冲电场发现,Cu液中溶质Al的活度系数随电场强度的增加,呈不同程度的减小趋势.为了进一步研究溶质Al的活度减小的原因,对Al-5%Cu合金在熔融状态下进行了液态淬火.通过淬火后的金相组织观察发现,电场作用下液态金属的结构发生了明显的变化,溶质在合金溶液中的分布发生了沿某一个方向聚集的现象.从而揭示了电场作用下二元系合金中溶质活度变化的本质,并在此基础上建立了电场作用下二元系合金中溶质活度变化的理论模型

通过对LF前-LF后-中间包-连铸工艺生产40Cr钢各环节系统取样,以及电子显微镜对夹杂物的形貌、尺寸及组成的分析,发现40Cr铸坯中含有大量CaO(CaS)-Al2O3-MgO类复合夹杂.采用Factsage计算得到的CaO-CaS-Al2O3三元相图对钙处理后CaO(CaS)-Al2O3夹杂形成过程进行了理论计算;并对实际发现的CaO(CaS)-Al2O3-MgO类复合夹杂物的面扫描分布进行描边处理,探讨了该类夹杂物的组成和形成过程.经Factsage理论计算发现,CaO-CaS-Al2O3三元相图中液相区各成分质量分数为CaO 32%~58%、CaS 0%~5%以及Al2O342%~65%,钙处理后CaO含量有逐渐增加,CaS含量有逐渐减小趋势.结合夹杂物的面扫描分布发现,CaO(CaS)-Al2O3-MgO类复合夹杂物的组成为xCaO·yAl2O3+mMgO·nAl2O3+Al2O3+CaS,钙处理后Ca能够使Al2O3变性为CaO-Al2O3,但同时夹杂物中也有很高的CaS成分,随着钙处理的充分进行,CaS将由内及外向CaO-Al2O3逐渐转变

给出了一个多Agent松散耦合的网格服务发现框架.在该框架中把Agent分为三类:服务Agent、需求Agent和服务发现Agent.提出以模糊Petri网作为服务描述语言的规范,用以发布或请求服务,用可能性变迁表示一个服务或一个需求,输入库所代表在提供(或请求)服务前需要成立的前提条件,输出库所表示提供(或获得)服务后成立的条件,用可能性与必然性来量化一个服务Agent能对一个请求提供相关服务的信心程度.最后基于本体论给出了一个支持部分匹配的服务匹配算法,并用一个车辆维修服务系统的例子进行了说明