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.