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

THE EQUIVALENCE-PRESERVING TRANSFORMATION AND NORMALIZATION OF OBJECT TYPES

作　　者：杨立[1] 

机构地区：[1]中国科学院自动化研究所

出　　处：《计算机学报》1994年第10期721-728,共8页Chinese Journal of Computers

基　　金：国家博士后基金

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

关 键 词：数据库 规范化 等介代换 对象类型 

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