论文部分内容阅读
在基于规则的主动数据库系统中,被触发规则通常以事务模式运行,这些并行事务由规则耦合方式确定其开始处理时刻和可串行化提交次序. 本文根据并行事务对于共享数据对象的锁继承和锁剥夺关系,提出了一个并发控制算法,并基于事务树(森林)给出一个有效的死锁检测算法和具有最小代价的死锁恢复算法.
主动规则的并发控制与死锁处理
【摘 要】
：
在基于规则的主动数据库系统中,被触发规则通常以事务模式运行,这些并行事务由规则耦合方式确定其开始处理时刻和可串行化提交次序. 本文根据并行事务对于共享数据对象的锁继
【机 构】
：
吉林大学
【出 处】
：
小型微型计算机系统
【发表日期】
：
2002年10期
【基金项目】
：
国家自然科学基金，吉林省科技发展计划
其他文献
本文提出了一种对时间Petri网的扩展方法，并研究了其分布仿真算法.该算法适合对大型、复杂系统进行建模和仿真，并能有效地支持模型重用。
程序并行化为了达到缩短程序运行时间的目的,需要关注两方面的问题:1,任务之间并行性的挖掘;2,粒度控制;如何协调这两方面的关系以及如何自动的完成这个任务是现在工作的重点
本文针对MPEG-4压缩标准在互联网上应用，主要分析MPEG-4对各种媒体对象的组织和数据流的管理.具体研究MPEG-4压缩标准在现有的web浏览器上如何提供实时交互的多媒体服务，用多线
本文介绍了针对汉语单音节验证的分类器.与以往的方法相比较本文作了两项改进:一是按照汉字的发音特点和声学特征来构造识别器中的填充模型;二是结合HMM的统计特性和神经元网
由于数据流具有无界的特性,数据流系统中的查询多为带有窗口的查询,对带有窗口的查询,现有方法常由操作符直接维护窗口,但操作符的类型及排列方式可能会导致窗口难以维护,且
本文提出了一种基于SystemC的嵌入式系统设计方法.SystemC是OSCI(Open SystemC Initiative)组织制定和维护的一种开放源代码的C++建模平台,提供支持硬件建模和仿真的C++类库