基于有向图的面向对象数据库规范化方法

摘要

面向对象数据库规范化方法是以Z.Tari等人于1997年提出的面向对象数据库规范化理论为基础,用于设计面向对象数据库模式中对象结构的一种形式化、系统的方法.该文主要是对Z.Tari等人提出的面向对象数据库规范化理论进行完善,对他们提出的面向对象数据库规范化方法进行改进.具体做了以下几项工作:1.对Z.Tari等人提出的面向对象数据库规范化理论中的候选关键字问题进行了深入研究,找到了一种多项式时间求解算法,并对算法的正确性进行了证明;2.对Z.Tari等人提出的面向对象数据库规范化理论中GD-约束集最小覆盖问题进行了深入研究,找到了一种多项式时间求解算法,并对算法的正确性进行了证明;3.对含有冲突用户解释进行了分析,归纳出了含有冲突用户解释的特征,找到了一种判别用户解释是否含有冲突的多项式时间算法,并对算法的正确性进行了证明;4.找到了一种基于有向图的面向对象数据库规范化方法.该方法能够识别和处理用户解释含有冲突情况.

目录

文摘

英文文摘

第1章绪论

1.1面向对象数据库规范化方法概述

1.1.1面向对象数据库规范化方法

1.1.2与传统关系数据库规范化方法的区别

1.1.3在面向对象数据库设计中的地位和作用

1.1.4研究现状分析

1.2论文的主要工作和成果

1.3研究的理论和实际意义

1.4论文的组织

第2章面向对象数据库规范化理论

2.1数据模型和投影

2.1.1数据模型

2.1.2路径

2.1.3投影

2.2依赖约束和关键字约束

2.2.1路径依赖约束

2.2.2局部依赖约束

2.2.3全局依赖约束

2.2.4关键字约束

2.3依赖约束的推导公理

2.3.1路径依赖约束推导公理

2.3.2局部依赖约束推导公理

2.3.3全局依赖约束推导公理

2.4对象规范化的基本概念

2.4.1一个简单的例子

2.4.2对象模型

2.4.3对象范式

2.5本章小结

第3章面向对象数据库规范化的一般方法

3.1规范化规则及其完备性

3.1.1规范化规则

3.1.2规范化规则的完备性

3.2面向对象数据库规范化的一般方法

3.2.1通过重构的方法产生对象范式

3.2.2通过重建方法产生对象范式

3.3本章小结

第4章与规范化相关的几个关键问题

4.1对象候选关键字求解问题

4.1.1问题的提出

4.1.2对象成员的分类

4.1.3判定对象候选关键字成员的条件

4.1.4对象候选关键字求解算法

4.1.5算法正确性证明及时间复杂性分析

4.2 GD-约束集最小覆盖求解问题

4.2.1问题的提出

4.2.2冗余GD-约束的分类

4.2.3判别冗余GD-约束的条件

4.2.4 GD-约束集最小覆盖的求解算法

4.2.5算法正确性证明及时间复杂性分析

4.3含有冲突用户解释的特征

4.3.1问题的提出

4.3.2含有冲突用户解释

4.3.3含有冲突用户解释的特征

4.4本章小结

第5章基于有向图的面向对象数据库规范化方法

5.1图论的基本知识

5.2扩充有向图

5.3基于有向图的不含冲突用户解释识别算法

5.4基于有向图的面向对象数据库规范化算法

5.5本章小结

第6章总结与展望

6.1总结

6.2未来工作

致谢

攻读博士学位期间参与的科研项目、所发表的论文及获奖情况

参与的科研项目

所发表的论文

获奖情况

参考文献