%0 Journal Article
%T THE META DATA MODEL BASED ON TYPE SYSTEM<br>基于类型系统的元数据模型
%A Chen Rui
%A Cai Xiyao
%A <br>陈睿
%A 蔡希尧
%J 软件学报
%D 1995
%I 
%X 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.
%K Data model
%K object-oriented programming
%K data type
%K first order predicate calculus<br>数据模型
%K 数据类型
%K 程序语言
%K 类型系统
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=8D1EF450C2AA3F8C94B9F514418DD630&yid=BBCD5003575B2B5F&vid=B31275AF3241DB2D&iid=94C357A881DFC066&sid=FDC7AF55F77D8CD4&eid=7979125BBE749348&journal_id=1000-9825&journal_name=软件学报&referenced_num=3&reference_num=2