%0 Journal Article
%T 基于类型系统的元数据模型
%A 蔡希尧
%A 陈睿
%J -
%D 1995
%X 本文研究了程序设计语言的类型系统与数据模型的关系，认识到类型间关系是表示数据模型的一种方法．基于这一思想，提出了ＰＣＴ类型描述语言及基于ＰＣＴ的元数据模型，以描述多种数据模型．ＰＣＴ将Ｃ＋＋类型系统与一阶谓词演算相结合，可以形式化地描述特定数据模型所规定的多方面规范
%K 数据模型
%K 面向对象程序设计
%K 数据类型
%K 一阶谓词演算
%U http://www.jos.org.cn/jos/ch/reader/view_abstract.aspx?file_no=19950502&flag=1