一个新的演绎数据库的推理算法  

A NEW DEDUCTION ALGORITHM OF RELATIONAL DATABASE

作　　者：董继润[1] 王海洋[1] 

机构地区：[1]山东大学计算机系

出　　处：《计算机学报》1990年第8期626-630,共5页Chinese Journal of Computers

摘　　要：演绎数据库扩充了传统关系数据库的处理能力,增加了对规则的处理,使系统具有演绎推理的功能。演绎推理的有效实现是演绎数据库实现的一个关键。本文利用数组、状态、栈等技术,给出了一个利用规则实现演绎推理的算法。这种算法对规则进行有效的处理,很好地消除推理过程中的推理冗余,并对推理过程的停机问题做了处理。本算法已经在INGRES关系数据库上得以实现。Using the techniques of stack, array and status, we derive a deduction algorithm of relational database operations that can give all answers to query and has a well-defined termination condition.

关 键 词：演绎数据库 推理算法 数据库 

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