演绎数据库的并发控制模型  

作　　者：王培强[1] 姜跃平[1] 

机构地区：[1]复旦大学计算机系

出　　处：《软件学报》1997年第A00期266-273,共8页Journal of Software

摘　　要：演绎数据库系统是利用数据库事实与规则进行推理，求解相关事实的系统。当推量规则繁多，数据库内容庞大时，利用事实推理的事务将长期占用大量数据库，降低事务并发度。本文提出的模型充分利用规划中的语义来减小推理事务占用数据的单位。

关 键 词：演绎数据库 并发控制 演绎推理 数据库 

分 类 号：TP311.13[自动化与计算机技术—计算机软件与理论]