OODB设计中的范式理论及求解算法

论文摘要

面向对象数据库系统(OODBS)是近二十年来随着面向对象技术的发展而被广泛接受且非常具有前景的研究及应用的领域。它针对关系数据库系统(RDBS)不能适应非传统应用的要求,如:模型表达能力有限、系统效率低、事务模型太简单等,结合面向对象语言、语义模型,复杂对象模型和数据库技术的几个方面的研究而形成的一个高度数据集成系统。面向对象数据库系统代表了新一代数据库系统的发展方向。面向对象规范化理论是Z.Tari 等人1997 年首次提出的。同传统的关系数据库规范化理论的最大区别是面向对象规范化理论主要用于数据库的概念设计,与数据库的逻辑设计无关。这弥补了传统的数据库设计方法在概念模式方面的不足,使其支持面向对象数据模型。面向对象数据库理论作为近年来兴起的理论,在很多方面还有待完善。本文首先介绍了面向对象数据库(OODB)的发展,从OODB 不同方面综述了面向对象数据库的基本概念。接着定义了对象模型的投影代数和数据依赖。提出路径依赖和对象函数依赖的推理规则,并对其进行了证明,然后在对象模型的数据依赖基础上给出了对象范式的定义及定理。对象范式不同于传统关系模型的范式的是它更多地考虑了数据库模型设计时模型语义是否精确,完整地反映了用户的需求,是一种语义范式,而不是在数据库模型设计时就强调模型是否满足数据库操作范式。在文章的最后提出对象范式求解算法。该算法适合于渐进型开发方法。

论文目录

• 摘要
• Abstract
• 第1章 绪论
• 1.1 数据库技术的发展历程
• 1.2 传统数据库设计方法
• 1.3 面向对象数据库设计方法
• 1.4 面向对象模式设计
• 1.5 本课题研究内容
• 第2章 面向对象数据库的基本概念
• 2.1 面向对象数据库的发展
• 2.2 OO 开发方法
• 2.2.1 对象
• 2.2.2 类
• 2.2.3 属性
• 2.2.4 封装性
• 2.2.5 继承性
• 2.3 语义模型
• 2.3.1 属性
• 2.3.2 复杂对象
• 2.4 结构数据模型
• 2.5 对象实例
• 2.6 本章小结
• 第3章 对象模型的投影代数及数据依赖
• 3.1 路径
• 3.2 投影运算
• 3.3 依赖约束
• 3.3.1 对象标识及键约束
• 3.3.2 路径依赖
• 3.3.3 对象函数依赖
• 3.4 本章小结
• 第4章 数据依赖的公理系统
• 4.1 路径依赖公理系统
• 4.1.1 增广律
• 4.1.2 合并律
• 4.1.3 传递律
• 4.2 对象函数依赖公理系统
• 4.2.1 自反律
• 4.2.2 伪传递律
• 4.3 本章小结
• 第5章 对象范式
• 5.1 依赖约束集
• 5.2 对象依赖集
• 5.3 对象范式的定义与判定定理
• 5.4 本章小结
• 第6章 对象范式转换算法
• 6.1 对象范式转换算法
• 6.2 本章小结
• 结论
• 参考文献
• 攻读学位期间发表的学术论文
• 致谢