数据库对象和型的广义结构模型——第二部分:型的结构模型

THE MODELLING OF DATABASE OBJECTS AND TYPES——CONSTRUCTION MODEL OF TYPES

下载PDF

导出

摘要本文的这一部分论述了以下内容: (1)型的结构模型,阐明型的集合在次型关系下做成一半序格并与其在子对象关系下做成之半序格对偶.通过类比统一了型与对象的概念,并导出对象和类的符号对象模型的共同理论基础. (2)型的重构理论,给出保息重构(保持信息容量)和相容重构(保持解释空间)的概念. (3)建立在重构理论基础上的对象演算.

作者陈其明

机构地区清华大学计算机科学系

出处《计算机学报》 EI CSCD 北大核心 1989年第8期570-577,共8页 Chinese Journal of Computers

关键词数据库结构模型型对象演算

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

引文网络
相关文献

1全炳哲,金淳兆,玄顺姬.面向对象类型理论的比较研究[J].计算机研究与发展,1997,34(10):736-741. 被引量：3
2黄涛,钱军,王栩.对象演算Ⅱ[J].软件学报,1999,10(9):941-951. 被引量：2
3杨厚生.突破解释空间的编程技术[J].微计算机应用,1992,13(2):6-11.
4高正龙,吴涛,陈小波,杨莹莹.图像滤波的商空间粒计算算法[J].计算机工程与应用,2013,49(24):182-185. 被引量：1
5黄涛,钱军,周桓.对象演算Ⅰ[J].软件学报,1999,10(9):931-940. 被引量：4
6陈其明.数据库对象和型的广义结构模型——第一部分:对象结构的数学模型[J].计算机学报,1989,12(8):561-569. 被引量：3
7杨群,陈宏兵,许满武.一种带有delegation的对象演算[J].计算机科学,2007,34(4):250-253.
8魏平,李敬文.OO数据库数据模型的形式化[J].兰州铁道学院学报,1999,18(5):88-93.
9陈林书,王加阳,杨正华,李力.基于代数结构的商空间模型研究[J].电子学报,2016,44(4):952-958. 被引量：6
10袁胜发,杜红霞.基于支持向量机和人工免疫的机械故障诊断方法研究[J].制造技术与机床,2005(10):28-31. 被引量：1

计算机学报

1989年第8期

浏览历史

内容加载中请稍等...

数据库对象和型的广义结构模型——第二部分:型的结构模型

相关作者

相关机构

相关主题

浏览历史