面向对象数据库类型继承关系的代数模型

本文将对象类型看做一种行为，而把子类型看做与这种行为相兼容的一种特化。基于这种想法，本文通过扩展有序代数提出一种类型与子类型之间继承关系的代数模型，根据运算是否完全兼容将子类型划分为完全子类型与不完全子类型，并且解决了由于类型继承导致运算重叠而引直起二义性问题。     

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

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

面向对象数据库系统的代数模型

区别于传统的关系数据库，面向对象的数据库系统需要全新的理论及方法上的基础。我们希望能够并面向对象的数据库系统与软件工程中的形式化方法，尤其是抽象数据类型、系统的代数规范等结合起来。类似于代数数据类型理论，本文提出了对象、对象类型及抽象对象类型的代数模型。     

面向对象数据库中基于有向图的联系代数

本文提出了基于基有向图的联系代数，并给出了一个优化联系代数表达的算法。本文所提出的改进较其原形式能 更精确地反映面向对象模型的实质，更有利于对象的查询处理与优化。     

面向对象数据库中查询处理技术的研究

在面向对象数据库（OODB）中，查询处理是其中重要的部分。在联系关系数据库（RDB）查询处理的基础上，综合考虑了数据模型，查询模型和查询处理等因素，提出了一种全新的面向对象数据库系统（OODBS）查询策略，运用关系数据库系统（RDBS）实现技术可以有效地解决OODB领域的许多问题，使得OODB无论从语义上还是效率上都有可能成为最有前途的数据库系统。     

面向对象数据库的形式化模型

本文用三元组集合来表示面向对象数据库的概念视图，并此为基础给出了ＯＯＤＢ上操作的形式描述。本文所给出的形式模型对副作用作了精确定义。     

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

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

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

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

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

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

CIMS信息集成平台中的OO视图模型

为了满足ＣＩＭＳ环境中信息集成的要求,本文为信息集成平台设计了一种具有集成功能的面向对象视图模型Ｉ－ＶＩＥＷ．Ｉ－ＶＩＥＷ对ＯＯ模型进行了扩充,定义了虚属性、虚对象的概念;引入了输入与隐藏机制和类派生机制,允许对对象的状态和行为进行提炼,能够很好地解决各类集成问题,如模式映射、评义冲突和模式合并与重构等。     

一种面向对象环境的形式化模型

首先提出了作为面向对象环境中最小元素的对象元的概念，突出了面向对象环境的智能化特征，接着给出了一整套关于对象（对象元、复杂对象（结构模型的形式定义，为创建面向对象的信息存储环境和操作运行环境奠定了理论基础。     

基于媒体实例模型的逻辑查询语言

本文提出了基于媒体实例模型的多媒体数据库查询语言,并给出了媒体事件、多媒体规格、多媒体表示之间的关系。     

面向对象数据库中循环查询处理技术的研究

循环查询是一种比较特殊的查询。针对面向对象数据库及其循环查询的特点,以ＯＤＭＧ－９３国际标准为基础,提出了一种实用有效的循环查询处理策略,并对其中的循环成分识别算法和循环成分处理算法进行了分析讨论。实际应用表明,该策略能有效地处理ＯＯＤＢ中的循环查询。     

一个统计与科学数据库的数据模型

本文提出了一种新的语义数据模型——MICSUM.MICSUM由九种可嵌套引用的语义成分和两个语义成分上的代数操作构成,支持时间序列等复杂数据类型,以统计表和C-关系为数据操作的基本单位,提供了较强的模拟统计与科学数据的能力.     

基于面向对象的化工物性数据库系统

针对常用的关系数据库在化工方面应用中的不足,提出了一种采用面向对象数据库技术设计的化工物性数据库系统,可以实现对组分的物理性质和热力不计算公式的数据库管理,并能方便地添加热力学计算公式。程序可以简单地集成于各种化工软件之中,作为物性与计算模块使用。