A language facility for designing database-intensive applications
暂无分享,去创建一个
[1] H. Levesque,et al. A PROCEDURAL SEMANTICS FOR SEMANTIC NETWORKS , 1979 .
[2] Mary Shaw,et al. Abstraction and verification in Alphard: Defining and specifying iteration and generators , 1977 .
[3] Nick Roussopoulos,et al. A semantic network model of data bases. , 1976 .
[4] Joachim W. Schmidt,et al. Some high-level language constructs for data of type relation , 1977, SIGMOD '77.
[5] Ben Wegbreit,et al. The treatment of data types in EL1 , 1974, CACM.
[6] Niklaus Wirth,et al. Program development by step-wise refinement , 1971 .
[7] Ronald J. Brachman,et al. ON THE EPISTEMOLOGICAL STATUS OF SEMANTIC NETWORKS , 1979 .
[8] K. Mani Chandy,et al. Current trends in programming methodology , 1977 .
[9] Mary Shaw,et al. Abstraction and verification in Alphard: Defining and specifying iteration and generators , 1977, Commun. ACM.
[10] E. F. Codd,et al. A Relational Model for Large Shared Data Banks , 1970 .
[11] Michael Stonebraker,et al. INGRES: a relational data base system , 1975, AFIPS '75.
[12] John Mylopoulos,et al. Two views of data semantics: a survey of data models in artificial intelligence and data management , 1977 .
[13] Hector J. Levesque,et al. An Overview of a Procedural Approach to Semantic Networks , 1977, IJCAI.
[14] Tony Hoare,et al. Hierarchical Program Structures , 1972 .
[15] Diane C. P. Smith,et al. Database abstractions: aggregation and generalization , 1977, TODS.
[16] Craig Schaffert,et al. Abstraction mechanisms in CLU , 1977, Commun. ACM.
[17] John Miles Smith,et al. A Data Base Approach to Software Specification , 1980 .
[18] Dennis McLeod,et al. The semantic data model: a modelling mechanism for data base applications , 1978, SIGMOD Conference.
[19] Lawrence A. Rowe,et al. Data abstraction, views and updates in RIGEL , 1979, SIGMOD '79.
[20] C. J. Date. An Architecture for High-Level Language Database Extensions , 1976, SIGMOD Conference.
[21] Joachim W. Schmidt,et al. Some high level language constructs for data of type relation , 1977, TODS.