| 基于类型系统的元数据模型 |
| |
| 引用本文： | 陈睿,蔡希尧.基于类型系统的元数据模型[J].软件学报,1995,6(5):265-275. |
| |
| 作者姓名： | 陈睿 蔡希尧 |
| |
| 作者单位： | 华南理工大学计算机系，西安电子科技大学软件工程研究所 |
| |
| 摘 要： | 本研究了程序设计语言的类型系统与数据模型的；认识到类型间关系是表示数据模型的一种。基地这一思想，提出了ＰＣＴ类型描述语言及其基于ＰＣＴ的元数据模型，以描述多种数据模型，ＰＣＴ将Ｃ＋＋类型系统与一阶谓词演算相结合，可以形式化描述特写数据模型所规定的多方面规范。
|
| 关 键 词： | 数据模型 数据类型 程序语言 类型系统 |
| 收稿时间： | 1993/4/19 0:00:00 |
| 修稿时间： | 1993/9/13 0:00:00 |
THE META DATA MODEL BASED ON TYPE SYSTEM |
| |
| Chen Rui and Cai Xiyao.THE META DATA MODEL BASED ON TYPE SYSTEM[J].Journal of Software,1995,6(5):265-275. |
| |
| Authors: | Chen Rui and Cai Xiyao |
| |
| Abstract: | This paper studies the relationship between data models and the type systems of programming languages.It is noted that data models can be described in terms of types and the relationships among types.The meta model which is used to describe data models is proposed and established on the PCT type language,which is developed by combining the C+ + type system and the first order predicate calculus.Various aspects of data models can be successfully described in PCT. |
| |
| Keywords: | Data model object-oriented programming data type first order predicate calculus |
| 本文献已被 CNKI 维普 等数据库收录！ |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
