基于有向图的对象范式生成算法  

An Algorithm for Creating an Object Normal Form Based on Directed Graph

作　　者：刘国华[1,2] 汪卫[1] 张亮[1] 施伯乐[1] 

机构地区：[1]复旦大学计算机与信息技术系 [2]燕山大学计算机科学与工程系,河北秦皇岛066004

出　　处：《软件学报》2004年第5期730-740,共11页Journal of Software

基　　金：国家自然科学基金.69933010;国家高技术研究发展计划(863)2002AAA444130 ~~

摘　　要：对Tari等人提出的面向对象数据模型规范化理论的基本思想进行了介绍,分析了他们给出的对象范式生成方法,指出了这些方法所存在的问题.为了研究新的对象范式生成方法,对有向图顶点的含义进行了扩充,使其不仅可以是一个简单的顶点,还可以是一个有向图.基于这种扩充有向图,提出了一种对象范式生成算法,并给出了算法的时间复杂度分析和正确性证明.In this paper, the major ideas of the normalization theory for object-oriented data models proposed by Tari et al. is introduced, their methods for creating an object normal form are analyzed, and the problems in these methods are pointed out. In order to develop a new method for creating such an object normal form, the meaning of a vertex of the directed graph is extended, such that it is not only a simple vertex, but also a directed graph. Based on this extended directed graph, an algorithm for creating it is proposed, the time complexity analysis of the algorithm is given, and its correctness is proved.

关 键 词：面向对象数据模型 规范化 范式 有向图 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]