对象类型的等价代换与规范化

THE EQUIVALENCE-PRESERVING TRANSFORMATION AND NORMALIZATION OF OBJECT TYPES

本文讨论了面向对象数据库模式中对象类型的规范化，基于对象集合的等价提出了类型的一种范式，给出了将类型转换为范式的规则，并且证明了范式的唯一性及转换规则的完备性．本文工作在面向对象数据库设计标准化方面迈出了一步．

The normalization of object types in object-oriented database schema is discussed. A normal form based on set-theoretic equivalence is proposed.Rewrite rules which convert types into normal forms are given. The uniqueness of normal forms and the completeness of rewrite rules are proved.