Abstract: This paper defines three normal forms with different higher level based on path functional dependencies and key constraints and designs an algorithm about normalization of complex object model in order to make redundancy minimum and avoid anomalies of update. Also, this paper gives a proof about correctness and termination of the algorithm and analyses the time complexity of the algorithm

Key words: Object-oriented model; Path functional dependencies; Key constraints; Normalization; Algorithm

摘要： 为了消除面向对象模型中复杂对象结构中的冗余，避免更新异常，基于路径函数依赖和键约束的概念，分析了嵌套结构中导致冗余和更新异常的原因并给出了3 个不同级别的范式和一个规范化算法。而且，对算法的终止性、正确性及时间复杂性进行了证明和分析。

关键词: 面向对象模型；路径函数依赖；键约束；规范化；算法