摘要
探讨并行规则事务对于共享数据对象的锁继承和锁剥夺关系 ,提出一个并发控制算法 ,并基于层次可串行性标准证明算法的正确性 .
The present paper deals with lock inheritance and lock preemption among the concurrent rule transactions when shared data objects are accessed, and presents an concurrency control algorithm. The correctness of the algorithm is proven in the sense of layered serializability.
出处
《吉林大学自然科学学报》
CAS
CSCD
北大核心
2001年第2期28-32,共5页
Acta Scientiarum Naturalium Universitatis Jilinensis
基金
国家自然科学基金! (批准号 :6 96 730 15 )
吉林省科技发展计划项目基金! (批准号 :吉科合字第 2 0 0 0 111)