基于类型系统的元数据模型

摘要

本文研究了程序设计语言的类型系统与数据模型的；认识到类型间关系是表示数据模型的一种。基地这一思想，提出了ＰＣＴ类型描述语言及其基于ＰＣＴ的元数据模型，以描述多种数据模型，ＰＣＴ将Ｃ＋＋类型系统与一阶谓词演算相结合，可以形式化描述特写数据模型所规定的多方面规范。