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

THE DESIGN AND IMPLEMENTATION OF A DEDUCTIVE DATABASE SYSTEM dUNIFY

本文探讨与实现一个演绎数据库系统ｄＵＮＩＦＹ．ｄＵＮＩＦＹ以小型、实用为其设计目标．文章提出了一些新的见解与实现技术，从而使ｄＵＮＩＦＹ具有查询速度快、占用空间少的特点，并有一定功能．目前，我们正在用ｄＵＮＩＦＹ开发ＣＡＤ的应用．

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.