Towards Restructuring and Normalization of Types in Databases  

作　　者：杨立 

出　　处：《Journal of Computer Science & Technology》1995年第1期65-73,共9页计算机科学技术学报（英文版）

摘　　要：The equivalence- preserving transformation and normalization of types inobject-oriented databases are discussed. Specifically a normal form of typesbased on set-theoretic equivalence is proposed, rewrite rules which transformtypes into normal forms are presented, and the uniqueness of normal form andthe completeness of rewrite rules are proved. The emphasis of this work ison normal forms and corresponding rewrite rules. It provides a new formalapproach for the study of restructuring of database schema and other manipu-lations in object-oriented databases.The equivalence- preserving transformation and normalization of types inobject-oriented databases are discussed. Specifically a normal form of typesbased on set-theoretic equivalence is proposed, rewrite rules which transformtypes into normal forms are presented, and the uniqueness of normal form andthe completeness of rewrite rules are proved. The emphasis of this work ison normal forms and corresponding rewrite rules. It provides a new formalapproach for the study of restructuring of database schema and other manipu-lations in object-oriented databases.

关 键 词：OBJECT-ORIENTATION object-restructuring database normalization 

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