论文部分内容阅读
面向对象规范化理论是Z.Tari等人1997年在文[1]中首次提出的。同传统的关系数据库规范化理论的最大区别是面向对象规范化理论主要用于数据库的概念设计,与数据库的逻辑设计无关。这弥补了传统的数据库设计方法在概念模式方面的不足,使其支持面向对象数据模型。面向对象数据库理论作为近年来兴起的理论,在很多方面还有待完善。 本文针对以下面向对象规范化理论中几个关键问题进行了分析研究,并提出了求解方法。 对象候选关键字不仅在关系数据规范化理论中处于重要位置,在面向对象规范化理论中也充当非常重要的角色,本文针对对象候选关键字的求解问题进行了探讨,找到了一种求解对象候选关键字的算法。 面向对象规范化过程是以全局依赖集提供的依赖约束为基础进行的,因此,全局依赖集的简化程度直接影响着规范化过程的效率。本文对最小覆盖求解问题进行了详细讨论,给出了一个时间复杂性为0(m~2)的求解算法。 含有冲突用户解释特征的研究。当对象的用户解释含有冲突时,对象将永远无法规范化为规范化对象,为建立规范化对象就必须识别含有冲突的用户解释。本文通过对含有冲突用户解释的研究,归纳出了用户解释含有冲突时的三个特征。 面向对象数据模型规范化算法的研究。对象规范化问题是面向对象规范化理论中的核心问题。本文对含有冲突用户解释进行了详细研究,提出了一种基于图的规范化算法。这一算法可识别含有冲突的用户解释,从而改进了文献[1]中提出的规范化算法。 通过对以上面向对象模型规范化理论中几个关键问题的研究,使得面向对象模型规范化理论更加完善。