Prolog逻辑程序的测试方法

Prolog逻辑程序设计语言具有不同于传统程序设计语言的特点.本文根据测试Prolog程序的实践,提出了一系列为Prolog程序生成测试用例的准则.按这些准则测试实际程序效果良好.这是在逻辑程序测试新领域迈出的一步.     

关系数据库实现面向对象数据库的方法

过去十多年，面向对象技术已应用于数据库，操作系统，专家系统等，有些面向对象数据库已经商品化，随着数据库应用领域的不断扩展，面向对象数据库系统已成为一个重要的研究领域，本文对现有的ＯＯＤＢＳ和ＲＤＢＳ作了一些比较，进而介绍了二者统一的途径。     

一阶逻辑在关系数据库中的应用

一阶逻辑能唯一地作为关系数据库的统一语言，对关系数据库的可用性很多，本文主要讨论一些利用Prolog语言实现的应用。     

逻辑程序的自动模式推导

本文给出了在逻辑程序抽象解释的理论框架下进行模式推导的方法,并就其中的别名处理问题和定点计算问题进行了详细的讨论提出了一种正确,有铲的别名自理方法以及基于”护展表“的定点求解算法。该方案已用Ｐｒｏｌｏｇ语言实现。     

从关系数据库到面向对象数据库的发展概述

该文主要论述了在数据库技术发展的过程中起主导作用的关系数据库的特征及其发展历程,同时阐述了面向对象数据库的特征以及其必然取代关系数据库成为数据库技术发展和研究的新的热点.     

一个基于关系数据库的面向对象关系数据库管理系统OORDBMS

面向对象数据库系统被称为一代数据库系统，已有为软件研制和开发领域中的热点。本文提出了一种在关系数据库的基础上实现面向对象关系数据库管理系统（ＯＯＲＤＢＭＳ）的设计思想，并介绍我们在ＦＯＸＢＡＳＥ＋基础上实现ＯＯＲＤＢＭＳ的研究工作。     

逻辑程序设计语言G(o)del与Prolog的比较

在多态多类的一阶逻辑基础之上,围绕类型系统、模块系统、控制机制、元程序设计和输入／输出部分对Gǒdel语言功能进行分析。重点比较了逻辑程序设计语言Gǒdel与Prolog的联系与区别,通过比较分析,表明由于摒弃了Prolog语言中的非逻辑成分,引入了多种新的语言成分,Gǒdel语言具有更好的说明性语义和执行效率。     

基于Visual Prolog的面向对象知识表示

讨论了最新人工智能开发环境Ｖｉｓｕａｌ ＰｒｏｌｏｇＶ４．０的特点,分析面向对象技术的基本概念和特征,论述基于Ｖｉｓｕａｌ Ｐｒｏｌｏｇ的面向对象知识表示编程策略及知识的一致性与完整性检查等问题,并进行了ＣＡＰＰ加工链知识库系统实例探讨。     

面向对象关系数据库的构造方法

本文提出一个在关系数据库系统之上构造面向对象数据库系统的一般方法模型──面向对象的关系模型（ＯＯＲＭ）。按此模型建立起来的面向对象的关系数据库系统，不仅具备一般面向对象数据库系统的各种能力，而且能够有效地描述和处理各种复杂关系，同时能够与基础关系数据库系统保持兼容。     

关系数据库与面向对象数据库的集成

本文从ＲＤＢ（ｒｅｌａｔｉｏｎａｌｄａｔａｂａｓｅ）的缺欠、ＯＯＤＢ（ｏｂｊｅｃｔｏｒｉｅｎｔｅｄｄａｔａｂａｓｅ）的不足和新的数据库应用需求３个方面指出了统一关系范型和ＯＯ范型、集成ＲＤＢ与ＯＯＤＢ的趋势，讨论了集成ＲＤＢ与ＯＯＤＢ的３种途径，最后介绍了一个集成关系与对象模型的多媒体数据库系统ＴＨＣＩＭＨＹＰＥＲ的总体设计.     

演绎的面向对象数据库研究

文中从复杂对象逻辑语言，面向对象逻辑基础及面向对象数据库演量询语言等三个方面研究了一些典型的演绎面向对象数据库的成果，对它们进行了分析和比较，并就目前研究中一些重要的尚待解决的问题作了进一步讨论。     

面向对象数据库（OODB）与关系数据库（RDB）之比较研究

面向对象数据库至今还没有权威的定义，为把握与了解面向对象数据库的实质，我们采用比较研究法，首先从数据库发展史来剖析面向对象数据库与关系数据库之间的联系与差异。然后在功能，性能上分别讨论各自的亿势与劣势，阐面向对象数据库的本质与特征。     

面向对象的PROLOG程序测试工具的研究与实现

本首先对Ｐｒｏｌｏｇ程序中的错误进行了系统的分类，并对各类错误提出了相应的测试算法，接着介绍了一个面向对象的Ｐｒｏｌｏｇ程序测试工具的设计与实现。     

一个基于关系数据库的面向对象的关系数据库(OORDB)

本文提出了一种在关系数据库的基础上实现面向对象的存储机制,给出了存贮模型,并引进了对象标识的概念。通过标识映射把用户查询模式转换为库中基于标识的查询,实现了面向对象的数据库查询。     

基于UML的对象关系数据库设计

对象关系数据库是数据库发展的新趋势,UML作为现在比较流行的面向对象分析,设计标准语言,在数据库建模方面有其独特的优势,本文介绍了对象关系型数据库的特点以及数据库建模的方法,并结合户籍管理系统的实例介绍了运用UML进行对象关系型数据库建模的方法和技巧。     

现代信息系统的新兴支柱对象—关系数据库技术

本文通过对现代数据管理和数据处理应用的分析以及对关系数据库技术和面向对象的数据库技术的局限性的认识，阐明了对象──关系数据库管理系统的重要性，这一技术的发展状况和特点，以及有待研究的课题，并对第一个商品化的对象──关系数据库管理系统ＵｎｉＳＱＬ做了简单的介绍，以进一步探讨这一技术应提供的数据模型和功能。     

Turbo Prolog基于动态库的自然语言处理

Turbo Prolog是一种纯编译型人工智能语言,适于开发专家系统、建立动态数据库、处理自然语言。自然语言处理(NLP)被公认为人工智能最杰出的领域之一。本文提出在动态库的基础上进行NLP的改进方法,并易于推广为多目标查询及综合查询。使NLP的关键词法具有更广泛的实用意义,为建立智能数据库打下基础。     

面向对象的PROLOG程序测试工具的研究与实现*

本文首先对Prolog程序中的错误进行了系统的分类，并对各类错误提出了相应的测试算法．接着介绍了一个面向对象的Prolog程序测试工具的设计与实现．