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

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

演绎数据库系统SD-DDBS的设计与实现

主要介绍了一种演绎数据库系统SD-DDBS的设计思想和实现技术,重点阐述了规则的表示及实现机制。     

演绎数据库系统的研究与发展

一般认为,演绎数据库(DDB一DeduCtiveDatabase)“诞生”于1978年,至今仅十一年的历史。但是由于其突出的特点,演绎数据库自面世以来就引起了人们的极大重视和广泛兴趣。目前DDB巳构成了数据库学科中的一门独立分支,成为数据库技术中最受重视的前沿研究领域之一。这些可见     

演绎数据库系统EMTL及其应用

本文介绍了演绎数据库系统EMTL的功能以及用它设计的两个应用实例,分析了EMTL语言作为DDBS语言的能力,并就用EMTL开发应用系统中的一些问题作了简单的讨论,给出了我们的看法。     

KBASE—P知识库系统的设计与实现

当前的实用知识库系统研究是将知识库查询语言嵌入到一个过程语言中。ＫＢＡＳＥ－Ｐ是一个通用的知识库程序设计语言。ＫＢＡＳＥ－Ｐ以ＫＢＡＳＥ作为查询语言，以ＦＤ－ＰＲＯＬＯＧ（我们开发的一个ＰＲＯＬＯＧ扩充）为过程性的宿主语言执行Ｉ／Ｏ和ＤＢ更新操作（用扩充的内部谓词）。由于良好的设计和实现，查询语言与宿主语言之间的阻抗不匹配问题相对较小。因而，ＫＢＡＳＥ－Ｐ是一个比较实用的知识库程序设计语言。ＫＢＡ     

演绎数据库系统中推理机的设计与实现

演绎推理是有效实现演绎数据库系统的关键与核心，该文针对一种结构合理的演绎数据库系统的设计方案，介绍了系统中实现递归查询的推理机的设计原理及实现过程中用到的优化技术，并对推理机的运行机制进行了分析。     

基于PROLOG与DBASEⅢ的演绎数据库系统

演绎数据库是人工智能与数据库技术相结合的产物,具有逻辑推理及数据处理功能。本文首先分析了演绎数据库的实现技术,介绍了我们设计实现的基于PROLOG及DBASE Ⅲ系统,并基于该系统开发了一个决策支持系统。     

基于FOXBASE的演绎数据库系统

演绎数据库是人工智能与数据库技术结合的产物,它具有数据处理及逻辑推理功能。本文在分析演绎数据库实现技术的基础上,重点地介绍我们设计并实现的基于Foxbase的演绎数据库系统的系统结构及实现机制。     

演绎数据库及其实现方法的分析

演绎数据库是人工智能技术与数据库技术相结合的产物,是数据库研究领域中引人瞩目的一个新的研究方向。我国对演绎数据库的研究始于八十年代初,至今在理论上与实现上都取得了不少成果。本文首先讨论一下演绎数据库的理论,然后,对各种实现方法进行分类分析,并作相应的评价。     

KBASE－P知识库系统的设计与实现

当前的实用知识库系统研究是将知识库查询语言嵌入到一个过程语言中．ＫＢＡＳＥ－Ｐ是一个通用的知识库程序设计语言．ＫＢＡＳＥ－Ｐ以ＫＢＡＳＥ作为查询语言，以ＦＤ－ＰＲＯＬＯＧ（我们开发的一个ＰＲＯＬＯＧ扩充）为过程性的宿主语言执行１／Ｏ和ＤＢ更新操作（用扩充的内部谓词）．由于良好的设计和实现，查询语言与宿主语言之间的阻抗不匹配问题相对较小．因而，ＫＢＡＳＥ－Ｐ是一个比较实用的知识库程序设计语言．ＫＢＡＳＥ－Ｐ系统支持逻辑程序设计语言（ＫＢＡＳＥ－Ｐ语言）的程序开发，提供了文本编辑、文件管理、谓词管理、事实操作、Ｄａｔａｌｏｇ查询、ＳＱＬ查询等功能．本文详细介绍了ＫＢＡＳＥ－Ｐ系统的设计和实现．     

一个基于规则的CAD演绎数据库逻辑语言

传统的工程数据库系统缺乏说明性语义,使用困难,难以描述设计中大量存在的复杂设计约束,不能表示和处理知识。为了解决这些问题,本文试图将演绎数据库技术引入到工程数据的管理和处理中。本文探讨了工程信息的逻辑表示,描述了一种基于规则的逻辑语言,它能方便地表示和处理复杂对象和工程知识,并能有效地表示和验证语义约束条件。基于这种语言的一个CAD演绎数据库管理系统DEDBMS正在实现中。     

一个基于抽象解释的部分演绎过程

本文提出一种新的基于抽象解释的逻辑程序部分演绎方法．在一遍预处理里，针对给定的程序Ｐ和目标Ｇ，同时进行Ｐ∪｛Ｇ｝的部分演绎和抽象解释，以抽象解释控制部分演绎的展开过程．只要抽象论域是有穷的，部分演绎必定终止，而且Ｐ＇带有抽象解释估算出的关于其运行性质的信息，便于对Ｐ作进一步优化．     

Bottom-up Evaluation of Datalog with Negation

Declarative semantics gives the meaning of a logic program in terms of properties,while the procedural semantics gives the meaning in terms of the execution or evaluation of the program.From the database point of view,the procedural semantics of the program is equally important.This paper focuses on the study of the bottom-up evaluation of the WFM semantics of datalog‘ programs.To compute the WFM,first,the stability transformation is revisited,and a new operator Op and its fixpoint are defined. Based on this,a fixpoint semantics,called oscillating fixpoint model semantics,is defined.Then,it is shown that for any datalog‘ program the oscillating fixpoint model is identical to its WFM.So,the oscillating fixpoint model can be viewed as an alternative (constructive) definition of WFM.The underlying operation (or transformation) for reaching the oscillating fixpoint provides a potential of bottom-up evaluation.For the sake of computational feasibility,the strongly range-restricted program is considered,and an algorithm used to compute the oscillating fixpoint is described.     

演绎数据库中规则维护器的设计与实现

完整性维护是演绎数据库管理中的重要组成部分。首先给出演绎数据库系统的总体结构，然后重点介绍规则维护器的设计和实现，并阐述了规则操纵中完整性维护的基本算法。