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

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

演绎的面向对象数据库

本文回顾了演绎数据库（ＤｅＤＢ）和面向对象数据库（ＯＯＤＢ）的发展历史，综述了已取得的主要成果，讨论了研究的主要特征、存在的问题以及未来的发展方向。在此基础上，本文着重论述了演绎的面向对象数据库（ＤＯＯＤ）作为集成ＤｅＤＢ和ＯＯＤＢ理论和技术的新领域所涉及到的值得进一步的问题、目前采用的方法和取得的成果。此外，本文还讨论了ＤＯＯＤ系统开发的技术可能性，分析了实现ＤＯＯＤ系统的各种途径的可行性和技术关键。     

演绎面向对象数据库及其查询语言

演绎数据库（DDB）和面向对象数据库（OODB）自80年代产生以来,分别沿着不同的道路独立的发展。在各自领域的理论、技术及系统等方面都取得了许多成果。但OODB的主要问题是缺乏一个语义形式,而DDB使用的是关系模式。不支持对象标识和数据抽象概念,因此将两方面研究结合起来,以复杂对象建模和数据抽象能力为核心,以基于规则的OODB查询语言作为接口语言是新一代数据库的基本特征。     

一种演绎数据库查询语言

本文介绍了一个在传统关系数据库基础上的演绎查询语言,即演绎数据库查询语言,并分析了它的优点。     

一种具有约束演绎能力的面向对象数据库语言CDOL

本文介绍了一个基于规则的具有约束处理能力的面向对象数据库查询语言CDOL.该语言将面向值和面向对象模型集成在一起,约束关系可以显式描述并作为知识直接进入推理查询过程.CDOL可作为智能化CAx环境的核心数据库查询语言,本文着重介绍其语法和语义.     

面向对象的工程数据库管理系统中的查询语言

本文根据面向对象的工程数据库管理系统(OOEDBMS)的特点,定义了面向对象的工程数据查询语言(OSQL)的模型,并分析,归纳了它的功能、特点,最后通过对我们CAD中心开发的面向对象的工程数据库管理系统OOEDBMS的结构、设计以及建立在其上的查询语言OSQL实现的介绍,对OSQL与数据库连接、抽象数据类型操纵、复杂语义表示、工作区设计等问题进行了一些有益的探讨,并对OSQL的进一步改进、扩充提出了设想。     

面向对象数据库的推理查询语言

本文基于复旦大学开发的一个面向对象数据库系统ＦＯＯＤ，提出一种推理查询语言Ｏ－Ｄａｔａｌｏｇ，语言能方便地表达对面向对象数据的各种查询和推理要求，它可以转换 Ｄａｔａｌｏｇ形式，能运用各种高效计值算法，比其它一些基于非Ｈｏｒｎ子句逻辑的语言更易于Ｏ－Ｄａｔａｌｏｇ在形式上是一种Ｄａｔａｏｇ的扩充，本文着重介绍其语法和语义。     

基于规则的面向对象数据库查询语言

一、引言 八十年代中期兴起的面向对象数据库和知识库己成为当今数据库技术发展的两重要方向。自出现以来.它们沿着不同的道路独立发展,各自都取得了许多成果.知识库的研究是型的理论驱动的,着重研究基于规则的查询语言(如斯坦福大学的     

时态演绎数据库—模型与查询语言

时态演绎数据库是引入有效时间、事务时间概念的演绎数据库,能比较真实地反映现实世界的现象和发展状况,因此能满足现在的许多应用,如规划、决策支持系统、医疗信息系统等,因为这些应用不仅需要当前的数据,也需要历史数据     

Design and Implementation of the ROL Deductive Object-Oriented Database System

ROL is a deductive object-oriented database system that has been implemented at the University of Regina. It provides a uniform rule-based declarative language for defining, manipulating and querying databases, which integrates important features of both deductive databases and object-oriented databases. It supports object identity, complex objects, classes, class hierarchies, multiple inheritance with overriding and blocking, and schema definition. It also supports structured values such as functor objects and sets, treating them as first class citizens, and providing powerful mechanisms for representing both partial and complete information about sets. This paper describes its design and implementation. An important novel feature of the implementation is that it combines top-down and bottom-up evaluation strategies and automatically selects a strategy based on the nature of the query and data in the database.     

基于SQL Server的演绎数据库系统

分析了演绎数据库的理论基础和实现机制,重点介绍设计和实现的基于SQL Server的演绎数据库系统,对系统进行了分析和评价。     

演绎型面向对象数据库管理系统形式模型研究

本文提出了一种研制演绎型面向对象数据库管理系统(DOODBMS)的理论基础,具体讨论了DOODBMS 的形式化描述、操作以及知识引入等问题,使得一方面,实现一般面向对象数据库管理系统(OODBMS)的功能,另一方面,又可获得OODBMS 的推理智能     

The Implementation of a Deductive Query Language Over an OODB

The ROCK and ROLL database system cleanly integrates deductive and object-oriented capabilities by defining an imperative programming language, ROCK, and a declarative, deductive language, ROLL, over a common object-oriented (OO) data model. Existing techniques for evaluation and optimization of deductive languages fail to address key requirements imposed by ROLL such as: strict typing; placement of deductive methods (predicates) within classes; encapsulation; overriding and late binding. This paper describes the task of implementing an evaluator and optimizer for ROLL, explaining how existing implementation techniques for deductive languages were adapted to meet these requirements and extended to support novel types of optimization.     

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

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

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

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

Query Optimization for Deductive Databases

A systematic,efficient compilation method for query evaluation of Deductive Databases (DeDB) is proposed in this paper.In order to eliminate redundancy and to minimize the potentially relevant facts,which are two key issues to the efficiency of a DeDB,the compilation process is decomposed into two phases.The first is the pre-compilation phase,which is responsible for the minimization of the potentially relevant facts.The second,which we refer to as the general compilation phase,is responsible for the elimination of redundancy.The rule/goal graph devised by J.D.Ullman is appropriately extended and used as a uniform formalism.Two general algorithms corresponding to the two phases respectively are described intuitively and formally.     

DOOD类等级中派生类的定位算法及实现

文中给出了在DOOD中类的定义和表示,并以此为基础介绍了利用规则生成派生类。着重讨论了在类等级中派生类的定位和实现问题,提出了一种定位算法,最后讨论了基类和派生类之间的链接方法。