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

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