###
DOI:
Journal of Software:1995.6(5):265-275

基于类型系统的元数据模型
陈睿,蔡希尧
(华南理工大学计算机系,广州,510641;西安电子科技大学软件工程研究所,西安,710071)
THE META DATA MODEL BASED ON TYPE SYSTEM
Chen Rui,Cai Xiyao
()
Abstract
Chart / table
Reference
Similar Articles
Article :Browse 2985   Download 2711
Received:April 19, 1993    Revised:September 13, 1993
> 中文摘要: 本文研究了程序设计语言的类型系统与数据模型的关系,认识到类型间关系是表示数据模型的一种方法.基于这一思想,提出了PCT类型描述语言及基于PCT的元数据模型,以描述多种数据模型.PCT将C++类型系统与一阶谓词演算相结合,可以形式化地描述特定数据模型所规定的多方面规范.
Abstract: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.
文章编号:     中图分类号:    文献标志码:
基金项目:本文由国家教委博士点基金支持. 本文由国家教委博士点基金支持.
Foundation items:
Reference text:

陈睿,蔡希尧.基于类型系统的元数据模型.软件学报,1995,6(5):265-275

Chen Rui,Cai Xiyao.THE META DATA MODEL BASED ON TYPE SYSTEM.Journal of Software,1995,6(5):265-275