一种新的演绎机制的设计与实现  

THE DESIGN AND IMPLEMENTATION OF A NEW DEDUCTIVE MECHANISM

作　　者：怀进鹏[1] 郑广顺[1] 柏晖 赵沁平[1] 

机构地区：[1]北京航空航天大学计算机系,100083

出　　处：《小型微型计算机系统》1992年第10期41-48,共8页Journal of Chinese Computer Systems

基　　金：本文得到国家自然科学基金

摘　　要：本文全面地分析了演绎数据库的实现机制,提出了一种基于关系代数及重写操作的演绎数据库模型,设计并实现了基于该模型的一种新的演绎机制—逻辑与数据库操作相结合的机制。The paper completely analyses the current approaches to deductive data base, proposes a new model on relational algebraic operation and rewriting operation, designs and implements a new deductive mechanism,the integration of relational operation with logic operation.

关 键 词：演绎数据库 演绎机制 

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