演绎面向对象数据库语言中的方法研究

方法和方法继承是面向对象的核心概念.本文介绍了约束演绎对象语言CDOL(constraint deductive object language)中方法的概念及定义，方法是作为规则定义的，它既可作为对象的接口，又可用来实现计算的抽象与共享，方法的继承和多态是通过类型机制和合一机制来实现的.     

演绎的面向对象数据库

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

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

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

一种演绎数据库查询语言

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

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

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

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

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

面向对象数据库的推理查询实现

上文介绍了面向对象数据库系统ＦＯＯＤ的推进查询语言Ｏ－Ｄ本文继续讨论对Ｏ－Ｄ程序的几种变换，并证明这些变换是语义等价的，从而证明了对于一个Ｏ－Ｄａｔａｌｏｇ程序，可以为它构造一个相应的Ｄａｔａｌｏｇ程度，并能利用该Ｄａｔａｌｏｇ程序对原程序进行计值，最后本文还给出了对Ｏ－Ｄａｔａｌｏｇ程序计值的算法。     

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

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

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

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

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

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

面向对象数据库中的次序关系

本文从一个实例着手说明了对象库中对象的次序 系对迭代消息传递的重要性，从而论证了对象合不能作为对象库的基苯聚集结构。     

演绎对象库语言DOL的求值技术

ＤＯＬ语言是文中设计的一个演绎对象库语言，通过引入重载操作子，处理继承与重载的关系，文中讨论ＤＯＬ语言的基于程序重写的求值技术，研究表明，由于ＤＯＬ引入对象角色概念，程序重写技术的简单性。     

面向对象数据库中查询代价的估算

好的查询优化器都是基于代价的，因此查询代价的估算是数据库查询优化中一项不可缺少的工作。文中在联系代数的基础上，综合考虑了对象聚集，索引等因素，给出了面向对象数据库中查询代价的一种估算方法。     

DODM：演绎型对象数据模型

演绎型对象数据库是演绎数据库和对象数据库结合的产物，它集成了演绎数据库的查询推理能力和对象数据库的强大建模能力。文中在已有的研究基础上较系统地研究演绎环境下对象数据模型，提出将类作为对象逻辑标识的集体和构造子；关系和集合为一类类构造子，体现了实体关系数据模型的思想；将型作为性质的集体，显式地区分类和型。引入型间偏相似关系来刻画继承语义，使得单继承、多继承和单调继承、非单调继承统一于型间偏相似关系，     

面向对象知识库系统CAOBS／V1.2的可视化查询子系统

面向对象知识库系统ＣＡＯＢＳ／Ｖ１．２的用户界面是一个可视化知识查询子系统，它包括一个灵活、直观、方便的可视知识查询语言（ＶＫＱＬ）和一个知识库浏览编辑器。利用该可视化查询语言，用户可以通过构造查询图来表达查询要求，并最终实现查询功能。ＶＫＱＬ吸收了国际上现有的几种可视查询语言的优点，具有较强的查询功能，使用方便。文中介绍了ＶＫＱＬ的设计思想和实现技术，在最后一节将ＶＫＱＬ与同类查询语言进行了对比     

面向对象数据库的查询优化

查询优化一般分为逻辑和物理两层，但两者密切相关．在一个具体系统的实现中，若把它们截然分开会影响优化效果，而把它们有机结合起来则更佳．本文在联系代数的基础上探讨该问题，综合考虑了逻辑与物理２个方面，给出了面向对象数据库系统中的查询优化算法.     

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

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

ON TEMPORAL DEDUCTIVE DATABASES

This article introduces a temporal deductive database system featuring a logic programming language and an algebraic front-end. The language, called Temporal DATALOG, is an extension of DATALOG based on a linear-time temporal logic in which the flow of time is modeled by the set of natural numbers. Programs of Temporal DATALOG are considered as temporal deductive databases, specifying temporal relationships among data and providing base relations to the algebraic front-end. The minimum model of a given Temporal DATALOG program is regarded as the temporal database the program models intensionally. The algebraic front-end, called TRA, is a point-wise extension of the relational algebra upon the set of natural numbers. When needed during the evaluation of TRA expressions, slices of temporal relations over intervals can be retrieved from a given temporal deductive database by bottom-up evaluation strategies.
A modular extension of Temporal DATALOG is also proposed, through which temporal relations created during the evaluation of TRA expressions may be fed back to the deductive part for further manipulation. Modules therefore enable the algebra to have full access to the deductive capabilities of Temporal DATALOG and to extend it with nonstandard algebraic operators. This article also shows that the temporal operators of TRA can be simulated in Temporal DATALOG by program clauses.     

并发面向对象程序设计语言研究与进展

随着面向对象程序设计的普及和对并发应用程序需求的增加，并发面向对象程序设计语言的设计日益成为研究热点。     

面向对象类型理论的比较研究

人们已提出各种支持面向对象程序设计的类型理论。但每种类型理论的侧重点不足相同，它们均能解决面向对象程序设计的某些方面的问题。本文从对象、类、类型和继承角度，着重分析讨论抽象数据类型、记录演算和对象演算，为进一步研究关于面向对象程序设计的类型理论提供基础。