微信服务号

微信订阅号

2025年5月15日 6:39 星期四
首页 > 过刊浏览>1995年第6卷第5期 >265-275
PDF HTML阅读 XML下载 导出引用 引用提醒
基于类型系统的元数据模型
作者:
基金项目:

本文由国家教委博士点基金支持.


THE META DATA MODEL BASED ON TYPE SYSTEM
Author:
  • 摘要
    • | |
  • 访问统计
    • |
  • 参考文献 [1]
    • |
  • 相似文献
    • |
  • 引证文献
    • | |
  • 文章评论
    摘要:

    本文研究了程序设计语言的类型系统与数据模型的关系，认识到类型间关系是表示数据模型的一种方法．基于这一思想，提出了ＰＣＴ类型描述语言及基于ＰＣＴ的元数据模型，以描述多种数据模型．ＰＣＴ将Ｃ＋＋类型系统与一阶谓词演算相结合，可以形式化地描述特定数据模型所规定的多方面规范．

    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.

    参考文献
    1 Date C J．An introduction to database systems，V01．I—I．Addison—Wesley，1983． 2 Peckham J et al．Semantic data models．ACM Computing Surveys，1988，20(3)：153—190． 3 Atkinson M．Questioning persistent types．Proc．of The 2nd Int．Workshop on Database Programming Lan- guages，1990． 4 Stonebraker M，Rowe L A．The design of POSTGRES．Proc．ACM-SIGMOD Conf．on Management of Data． 1988． 5 Deux O et al．The story of O2．IEEE Trans．on Knowledge and Data Engineering，1990，2(1)：91—108． 6 Damon A．C++ and cop：a brief comparison．In：Gupta R, Horowitz ed．Object—Oriented Databases with Appli- cations to CASE，Networks and VLSI CAD，Prentice Hall，1992．343—364． 7 Albano A，Ghelli G，Orsini R．Types for databases：the galileo experiences．Proc．of the 2nd Int．Workshop on Database Programming Language，1990． 8 Matthes F，Sohmidt J W．The type system of DBPL．Proc．of the 2nd Int．Workshop on Database Programming Languages，1990． 9 Jaeobs D．A type system for algebraic database programming languages．Proc．of the 2nd Int．Workshop on Database Programming Languages．1990． 10 Ohori A，Buneman P，Tannen V B．Database programming in MACHIAVELLI—a polymorphic language with static type inference．Proc．of the 2nd Int．Workshop on Database Programming Languages，1990． 11 Fegaras L，Sheard T，Stemple D．The ADABTPL type system．Proc．of the 2nd Int．Workshop on Database Programming Languages，1990． 12 Dearie A et al．NAPIER 88一A database programming language? Proc．of the 2nd Int．Workshop on Database Programming Languages，1990． 13 Kim W．Introduction to object—oriented databases．MIT Press，1990． 14 Tan L, Katayana T．Meta operations for type management in object—oriented database—a lazy mechanism for schema evaluation．In：Kim W et al ed．Deductive and Object-Oriented Databases，North-Holland，1990．241 —258． 15 Carey M J，Dewitt D J，Vandenberg S L．A data model and query language for EXODUS．Proc．ACM—SIG— MOD Conf．on Management of Data，1988． 16 Agrawal R，Gehani N H．Rationale for the design of persistence and query processing facilities in the database programming language O++．Proc．of the 2nd Int．Workshop on Database Programming Languages, 1990. 17 Tannen V B，Buneman P，Ohori A．Can object—oriented database be statically typed? Proc．of the 2nd Int． Workshop on Database Programming Languages，1990． 18 Cardelli L，Wegner P．On understanding types，data abstraction and polymorphism．ACM Computing Surveys, 1985，17(4)：471—522． 19 Khoshafian S N，Copeland G P．Object identity．OOPSLA'86 Proceedings，1986． 20 陈睿．对象持久性的研究[博士论文]．西安电子科技大学，1993．
    相似文献
    引证文献
引用本文

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

复制
分享
文章指标
  • 点击次数:
  • 下载次数:
  • HTML阅读次数:
  • 引用次数:
历史
  • 收稿日期:1993-04-19
  • 最后修改日期:1993-09-13
文章二维码
友情链接:中国科学院软件研究所中国计算机学会中国科学院国家自然科学基金委员会CCF数字图书馆Int'l J of Softw Info计算机系统应用
您是第19940809位访问者
版权所有：中国科学院软件研究所 京ICP备05046678号-3
地址：北京市海淀区中关村南四街4号,邮政编码：100190
电话：010-62562563 传真：010-62562533 Email：jos@iscas.ac.cn
技术支持：北京勤云科技发展有限公司

京公网安备 11040202500063号