论文信息 - Types, algebras and modeling

Types, algebras and modeling

Programming languages, database systems and artificial intelligence systems all have the notion that entities can be classified into types . As might be expected, however, the usage of the notion of type is not the same throughout or even within these areas. In this paper, I propose a notion of typing that is derived from work on programming languages and indicate how this notion might be used in the context of database systems. Thus, the paper is a step toward unifying the notions of type in data-bases and programming languages.

Stephen N. Zilles

[1] Lawrence A. Rowe,et al. Data abstraction, views and updates in RIGEL , 1979, SIGMOD '79.

[2] Ole-Johan Dahl,et al. SIMULA 67 common base language, (Norwegian Computing Center. Publication) , 1968 .

[3] Diane C. P. Smith,et al. Database abstractions: aggregation , 1977, CACM.

[4] Diane C. P. Smith,et al. Database abstractions: aggregation and generalization , 1977, TODS.

[5] Mary Shaw,et al. Toward relaxing assumptions in languages and their implementations , 1980, SIGP.

[6] James W. Thatcher,et al. Data Type Specification: Parameterization and the Power of Specification Techniques , 1982, TOPL.

[7] Stephen N. Zilles,et al. Introduction to Data Algebra , 1979, Abstract Software Specifications.

[8] Stephen N. Zilles,et al. Programming with abstract data types , 1974 .

[9] Roger L. Haskin,et al. On extending the functions of a relational database system , 1982, SIGMOD '82.

[10] E. F. Codd,et al. Extending the database relational model to capture more meaning , 1979, ACM Trans. Database Syst..

[11] Stephen N. Zilles,et al. Specification techniques for data abstractions , 1975 .

[12] Alan J. Demers,et al. Data types, parameters and type checking , 1980, POPL '80.