分布式知识库系统DKBS/TH—1中推理与查询接口的设计与优化  

The Research and Design of the Interface Mechanism of Inference and Querying in a Distributed Knowledge Base System DKBS/TH-1

作　　者：韦鹓 王克宏[2] 谢树煜[2] 

机构地区：[1]烟台大学 [2]清华大学

出　　处：《烟台大学学报（自然科学与工程版）》1989年第2期75-80,共6页Journal of Yantai University(Natural Science and Engineering Edition)

摘　　要：本文介绍了一个分布式知识库系统DKBS/TH—1的结构模型。它以PROLOG作为推理工具,Unify关系数据库系统作为存放知识的机构,二者之间通过一阶谓词逻辑的子集Horn子句进行联系.分布式系统中各结点之间的通讯联系也由Horn子句来实现,本文还讨论了PROLOG与关系数据库的结合方法及查询优化的技术.A structrue model of a distributed knowledge base system DKBS/TH-1 was introduced and the combination between Prolog and the relational data base system was discussed. Problem of optimization was discussed also.

关 键 词：知识库 数据库 分布式系统 查询 

分 类 号：TP392[自动化与计算机技术—计算机应用技术]