推理式分布数据库管理系统T—POREL及其实现

一、引言演绎数据库是 AI、逻辑程序设计和 DB 技术相结合的一种具有演绎推理能力的数据库系统,在过去十几年里,经历了迅速全面的发展。由于它具有集人工智能、逻辑程序设计和数据库技术的实用性研究结果于一身的特点,已成为数据库技术中最受重视的前沿研究领域之一。演绎数据库的实现是近年来人们普遍重视的研究课题。Prolog 语言在演绎数据库的实现中占有重要地位。Prolog 把数据库与程序设计语言在形式上达到了完全和自然的统一,既可作为实现演绎数据库的基本工具,又能直接用于与 DBMS 结合构造演绎数据库     

DOOL程序语义等价转换为Datalog 程序的转换规则

演绎对象数据库(DOOD)是演绎数据库与面向对象数据库两者优点相结合的产物。笔者设计实现了一个演绎对象数据库系统原型SD-DOOD,它是基于演绎数据库系统SD-DDBS的。然而,它使用的是演绎对象库语言DOOL,而演绎数据库语言是基于Datalog的,因此该文提出了应用一些转换规则来将DOOL程序转换为Datalog,通过规则转换,能求出DOOL程序的最小不动点(即程序值),从而使得系统的查询操作全都由SD-DDBS最终得出结果。文中详细介绍了转换规则的具体内容。     

基于FOXBASE的演绎数据库系统

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

关于在演绎数据库系统研究中引入一种新的关系的一些探讨

本文提出了在演绎数据库系统研究中的一种新的关系叫虚—实关系．虚—实关系集成了实关系与虚关系的一些优点，克服了它们的一些缺点，在演绎数据库系统中它具有特别的性质．将虚—实关系引入演绎数据库系统后我们可以扩大演绎数据库系统的功能．目前，虚—实关系已在ＳＵＮ—３工作站上的演绎数据库系统ＵＮＩＦＹ中实现并正在用于ＣＡＤ图形领域中．     

一种实用的微机工程数据库系统

研制了一种实用的微机工程数据库系统。它采用层次—关系混合模型,能支持设计版本、复杂关系及数据字典等。并用高级语言FORTRAN实现了工程数据库系统与应用程序的接口。目前,这一工程数据库系统已成功地用于液压挖掘机一体化智能CAD系统的动态数据管理,解决了CAD系统中各模块的数据共享问题。     

知识数据库系统的模型研究

本文提出了一种新的演绎数据库模型，以及基于此模型的具体实现方法。根据本文提出的思想和方法，我们已经在３８６上实现了这样一个演绎数据库系统。     

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

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

演绎数据库及其研究现状

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

智能化图象数据库系统的GBASE的模式设计

知识化图象数据库系统近年来引起了人们的研究兴趣,表现出了广泛的应用前景.本文 介绍一种知识化图象数据库管理系统GBASE的模式设计,它将传统的关系模式加以扩充,使 之能容许框架知识表达的抽象数据类型(ADTs),增强了关系数据库系统的语义描述能力,有 助于表达有关图象实体以及它们之间的空间关系等有关知识.利用ADT我们可以进行知识 引导下的数据库查询、图象实体空间关系的推理以及基于应用模型的辅助设计和规划.GBASE 系统是在VAX11/750机上在VMS操作系统下,以C语言完成的.它统一管理着多种类型 的信息,即关系数据、图形、图象数据、知识以及过程等,是一个综合的图象数据库管理系统. 目前正应用于林业资源的管理和规划.     

建立在WDDBS上的演绎系统WDeDB

演绎查询指的是用逻辑推导来回答用户查询的方法,它是演绎数据库规则管理器的核心部分。WDeDB是建立在关系数据库系统WDDBS上的演绎数据库系统,为充分利用大关系联接的有效技术,我们的推理模式采用了自底向上的编译方法,优化过程和执行过程是其中密不可分的两大部分,本文将讨论它的实现。     

演绎数据库语言LOGSQL的设计

1.引言 演绎数据库WDeDB建立在关系数据库WD-DBS(武大数据库系统)的基础之上,LOGSQL是其界面语言,它实现了数据库语言和逻辑程序设计语言基于SQL的紧耦合,LOGSQL的特色在于: (1)保留SQL的原有特性及语法结构,便于使用,规范性良好。 (2)支持规则的定义及操纵,支持规则分层的概念;允许用规则定义复杂的虚关系,如递归定义的关系。     

逻辑数据语言的扩充

知识库和演绎库自８０年代以来发展非常迅速，其研究成果也较其它领域多．确定一个好的逻辑数据语言是设计一个演绎数据库系统的前提，逻辑数据语言的表达能力，是否易于优化等直接关系到整个演绎数据库系统的性能．本文对传统的逻辑数据语言ＤＡＴＡＬＯＧ作一些扩充，以增加其表达能力，并讨论了语言扩充所带来的问题     

新一代数据库技术

本文首先提出了研究新一代数据库技术(面向对象数据库和演绎数据库)的必要性,然后讨论了相关的理论概念及实现方法,最后介绍了我们设计并实现的演绎数据库系统。     

数据模型智能化扩充研究——知识数据库模型

数据模型是数据库系统的核心。数据模型智能化扩充旨在提高现有数据库系统的可扩充性及智能化程度,使传统的数据库存贮知识,能进行演绎推理,从而为高级咨询与决策提供支持。本文引入人工智能、知识工程及专家系统领域的概念,原理,方法和技术,对关系数据模型进行了智能化扩充,并提出了实现这一扩充的DBMS的体系结构及实现方法。我们的工作将为了一步关于智能数据库、知识库的研究与开发打下基础,并希望在MIS,DSS,EDS,CAD,CAM等方向上得到应用。     

一个演绎对象数据库SD-DOOD的设计与实现

通过探寻面向对象数据库与知识库技术相结合的途径，研究演绎对象数据库系统实现的关键技术。以基于演绎数据库系统SD-DDBS，设计实现了一个演绎对象数据库系统原型SD-DOOD。系统支持类、类层次、对象、属性、方法、继承和封装等面向对象数据库系统的核心概念，支持演绎对象等演绎数据库的概念，提供了图形用户接口(GUI)，便于用户进行创建、查询等操作。     

在INGRES上实现的一个演绎系统

演绎数据库是将推理机制引入传统关系数据库而生成的一种新型数据库形式,它是数据库领域中一个比较新的方向。实现演绎数据库的主要问题是推理规则的表示和推理过程的实现。其中,演绎推理的有效实现是演绎数据库实现的关键。目前,实现演绎数据库的途径有两个:一个是直接用逻辑程序设计语言PROLOG来实现;另一个是在传统关系数据库     

图像数据库系统的设计与实现

本文提出了图像数据库的三种类型,即面向属性型、面向特征型和面向知识型;实现了各领域上的图像数据库系统共有的基本结构;给出了一种改进的用于表示图像几何特征的方法;设计了一种具有较强功能的命令语言和管理图像数据库所必要的辅助手段。本文的软件是用FORTRAN语言、dBASEⅢ语言以及8088汇编语言混编而成的。我们还提出了一种改进FOR-TRAN与dBASEⅢ之间的数据通讯方法。最后,在基本硬件环境中实现了图像数据库系统。     

面向对象数据库系统的研究方向

见诸于面向对象程序设计语言中的一系列面向对象概念,形成了关系之后数据库系统数据模型的良好基础。这些数据库系统将扩充数据库的应用范围,而超越传统的事务数据处理。然而,尽管经历了过去几年高层次的研究与开发活动,但仍没有标准的面向对象数据模型,对此领域的批评与担忧也依然存在。本文先回顾面向对象数据库系统产生的历史背景,自然地导出面向对象数据库系统的定义。然后考察对于面向对象数据库系统的研究者和实现者们来说,仍然是有待解决的一些主要问题。     

适合地图数据库应用的可扩充数据模型研究

数据库地理信息系统（ＧＩＳ）的基础。复杂的ＧＩＳ应用要求它对用户定义的数据类型和操作具有扩充能力。该文针对用于ＧＩＳ的可扩充数据模型存在的问题。构造了一个适合地图数据库应用的可扩充数据模型。它以嵌套关系模型为基础。引入高阶算子定义操作。这些算子不但增强了代数操作的能力，而且利用它们能方便地扩充用户定义的几何操作、地图量算和几何变换。该模型具有较强的扩充能力，可以作主设计可扩充地图数据库系统的基础。     

一个演绎工程数据库语言DEL

演绎工程数据库是工程数据库和演绎数据库集成的产物,它综合了工程数据库和演绎数据库的特点,集成了演绎数据库的查询能力和工程数据库的工程数据、对象、环境建模能力,对数据库技术的不断进步和完善有重要的理论意义和实用价值.文中分析了国内外目前在相关领域的研究现状以及出现的问题,介绍了现有数据库语言的特点及不足,提出演绎工程数据库的思路,讨论了如何扩充SQL以支持在基于逻辑的工程数据库环境下操纵各种知识,保证了其语言的易用性和与原有工程数据库的结合,对演绎工程数据库语言DEL的语法及DEL SQL实现作了详细介绍,并给出了DEL SQL语言的应用实例,验证了DEL SQL语言的适用性和正确性.