演绎数据库系统dUNIFY的设计与实现  

THE DESIGN AND IMPLEMENTATION OF A DEDUCTIVE DATABASE SYSTEM dUNIFY

作　　者：徐洁磐[1] 王银根[1] 柏文阳[1] 

机构地区：[1]南京大学计算机科学系

出　　处：《计算机学报》1994年第3期183-191,共9页Chinese Journal of Computers

摘　　要：本文探讨与实现一个演绎数据库系统ｄＵＮＩＦＹ．ｄＵＮＩＦＹ以小型、实用为其设计目标．文章提出了一些新的见解与实现技术，从而使ｄＵＮＩＦＹ具有查询速度快、占用空间少的特点，并有一定功能．目前，我们正在用ｄＵＮＩＦＹ开发ＣＡＤ的应用．The paper explores and implements a deductive database system called dUNIFY.The design objectives of dUNIFY are on a small scale and for practical use.Some new ideas and techniques have been proposed,making dUNIFY have some characteristics such as quick query and small space,and have enough functions.At present,we are using dUNIFY as a tool for developing CADapplications.

关 键 词：演绎数据库 dUNIFY 数据库 设计 

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