【摘 要】
：
本文研究主动数据库的E-RG主动规则的执行模型.E-RG主动规则包含由CA规则间基本时序关系导出控制结构,是一种高层次的主动规则.它既支持CA规则的并发执行,又易于规范规则集的
论文部分内容阅读
本文研究主动数据库的E-RG主动规则的执行模型.E-RG主动规则包含由CA规则间基本时序关系导出控制结构,是一种高层次的主动规则.它既支持CA规则的并发执行,又易于规范规则集的行为特性.E-RG主动规则的执行需要扩展的嵌套事务模型,我们已经使用一种形式框架准确、完整地刻画该事务模型.本文依据扩展的嵌套事务模型的正确性准则,给出正确实现并发的嵌套事务原子性和隔离性的锁规则,并使用一种调度算法保证主动规则E-RG中所包含的时序语义.
其他文献
介绍了基于计算机串行接口控制的可编程脉冲信号发生器 ,其脉冲信号的频率、宽度和幅度都可以根据需要调节。频率通过用可编程器件 EPLD控制 ,而脉冲信号的宽度和幅度通过多
由数据层、逻辑层、控制实施层组成的综合自动化系统参考在实际应用中具有很大的指导意义.总结这一参考模型,讨论了造纸企业销售管理的特点,对业务流程进行了分析和功能分解,
为了改革传统教学手段之不足,充分发挥多种教学手段的功能,在校园有线电视网的基础上,基于CAN总线和红外遥控技术,采用软件管理和授权控制方法,实现了电化教学中心与多媒体教
北氵名河铁矿主溜井具有围岩不稳定、含水量大、透水性好等特点 ,给施工带来诸多困难 ,面临溜井的施工工期短、任务重、确保工程质量 ,采用了特殊的注浆封堵井筒的渗漏水、导
该文从密码学、计算机技术以及加密技术等理论和方法出发,针对传统电子钱包模式的缺陷,提出了电子钱夹系统的概念和软、硬件实验模型,并以安全性为例对系统进行客观评价.
阐述了燃气锅炉、燃气热电联产和燃气热泵等天然气供暖应用方式、技术特点及目前发展情况,进而以一次能源消耗率和经济性为指标,分析比较了这些形式的优缺点和应用场合.
简化单板旋切厚度的调节过程,是实现单板旋切加工自动化的关键.利用气动、液动多点控制可实现自动调节,但机构复杂,造价高.笔者提出一种曲线轨道式单点控制调节方案,进而实现
阐述并行工程在北京吉普汽车有限公司的产品BH2020V和BJ0开发过程中的实际应用及使用实效.
介绍了一种新型的电子商务交易的行业标准———cXML ,并对基于该标准的电子商务交易机制作了系统的阐述和深入的研究 在此基础上 ,研制了一套B2B模式的电子商务交易系统 ,
2001年度国家烟草专卖局科学技术进步奖评审结果已于2001年12月18日向全行业公布，现争议期已满。国家烟草专卖局于2002年3月1日正式颁布2001年度国家局科学技术进步奖授奖项目