一种基于扩充相容性封锁的多版本两阶段封锁协议

分析了现有的分布式并发控制机制的不足,提出一种基于有序相容性多粒度的多版本两阶段封锁协议,并对其正确性进行了证明。分析表明,该协议可有效提高协作设计事务的并发度,比较适合于开放式的协同设计环境。

无前提规范闭缺省理论的扩充的构造

文针对有限的无前提规范闭缺省理论的扩充进行了较系统的研究。首先,对相容扩充进行了分类;其次,给出了相容扩充的特征刻画;再次,建立了一种制作相容扩充的准构造性方法;最后,对缺省规则固定时,缺省理论可能有的不同相容扩张的个数进行了估计。