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

作     者：杨立 

作者机构：中国科学院自动化研究所 

基　　金：国家博士后基金 

出 版 物：《计算机学报》 (Chinese Journal of Computers)

年 卷 期：1994年第17卷第10期

页      码：721-728页

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

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

学科分类：12[管理学] 1201[管理学-管理科学与工程类] 

核心收录：

馆 藏 号：203126970...