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