演绎数据库及其研究现状期刊界 All Journals 搜尽天下杂志传播学术成果专业期刊搜索期刊信息化学术搜索

演绎数据库及其研究现状

作者姓名：	徐洁磐

作者单位：	南京大学

摘要：	本文对演绎数据库的含义、作用、结构及其数学模型——证明论作了介绍.还简介了两种实现途径:一是用逻辑程序设计语言实现,另一是用DBMS+RULE方法实现.最后,对知识库、智能数据库及演绎数据库三者关系作了分析与区别,以端正目前对这些概念在理解上的混淆.
本文献已被 CNKI 等数据库收录！