| 摘要: |
| 本文研究了程序设计语言的类型系统与数据模型的关系，认识到类型间关系是表示数据模型的一种方法．基于这一思想，提出了ＰＣＴ类型描述语言及基于ＰＣＴ的元数据模型，以描述多种数据模型．ＰＣＴ将Ｃ＋＋类型系统与一阶谓词演算相结合，可以形式化地描述特定数据模型所规定的多方面规范． |
| 关键词: 数据模型，面向对象程序设计，数据类型，一阶谓词演算 |
| DOI： |
| 分类号: |
| 基金项目:本文由国家教委博士点基金支持. |
|
| THE META DATA MODEL BASED ON TYPE SYSTEM |
|
Chen Rui,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. |
| Key words: Data model,object-oriented programming,data type, first order predicate calculus. |
