A language facility for designing database-intensive applications

ACM Transactions on Database Systems (TODS)

Volumn 5, Issue 2, 1980, Pages 185-207

  Mylopoulos, John ^a   Bernstein, Philip A ^b   Wong, Harry K T ^c  

^a UNIVERSITY OF TORONTO   (Canada)

^b HARVARD UNIVERSITY   (United States)

^c IBM ALMADEN RESEARCH CENTER   (United States)

Author keywords

abstract data type; applications programming; exception handling; information system; relational data model; sesmantic network

Indexed keywords

DATA BASE SYSTEMS;

COMPUTER PROGRAMMING LANGUAGES;

EID: 0019022430     PISSN: 03625915     EISSN: 15574644     Source Type: Journal    
DOI: 10.1145/320141.320150     Document Type: Article

References (26)

1. Abrial, J.R. Data semantics. In Data Management Systems, J.W. Klimbie and K. L. Koffeman (Eds.), North Holland Pub. Co., Amsterdam, 1974.
2. BRACHMAN, R. On the epistemological status of semantic networks. In Associative Networks, N. Findler (Ed.), Academic Press, New York, 1979.
3. CODD, E.F. A relational model for large shared data banks. Commun. ACM 13, 6 (June 1970), 377-387.
4. DAHL, O.J., AND HOARE, C.A.R. Hierarchical program structures. In Structured Programming, O.J. Dahl, E. Dijkstra, and C.A.R. Hoare (Eds.), Academic Press, New York, 1972.
5. DATE, C.J. An architecture for high level language database extension. Proc. 1975 ACM SIGMOD Conf., pp. 101-122.
6. HAMMER, M., AND MCLEOD, D. The semantic data model: A modeling mechanism for database applications. Proc. 1978 ACM SIGMOD Conf., pp. 26-36.
7. HELD, G., STONEBRAKER, M., AND WONG, E. INGRES: A relational data base system. Proc. Nat. Computer Conf., Anaheim, Calif., 1975, pp. 19-22.
8. Lee, R., On the semantics of instance in database modeling. Working Paper, Dep. Decision Sci., Wharton School, Univ. Pennsylvania, Philadelphia, 1978.
9. LEE, R., AND GERRITZEN, R. A hybrid representation for database semantics. Tech. Rep. 78-01-01, Dep. Decision Sci., Wharton School, Univ. Pennsylvania, Philadelphia, 1978.
10. LEVESQUE, H. A procedural approach to semantic networks. M.Sc. thesis (Tech. Rep. 105), Dep. Computer Sci., Univ. Toronto, Toronto, Canada, 1977.
11. LEVESQUE, H., AND MYLOPOULOS, J. A procedural semantics for semantic networks. In Assodative Networks, N. Findler (Ed.), Academic Press, New York, 1979.
12. LISKOV, B., SNYDER, A., ATKINSON, R., AND SCHAFFERT, C. Abstraction mechanisms in CLU. Commun. ACM 20, 8 (Aug. 1977), 564-576.
13. MEALY, G. Notions. In Current Trends in Programming Methodology, vol. 2, R. Yeh (Ed.), Prentice-Hall, Englewood Cliffs, N.J., 1977.
14. MYLOPOULOS, J., BERNSTEIN, P., WONG, H.K.T. A preliminary specification of TAXIS: A language for interactive systems design. Tech. Rep. CCA-78-02, Computer Corp. of America, 1978.
15. ROUSSOPOULOS, N. A semantic network model of databases. Ph.D. dissertation (Tech. Rep. 104), Dep. Computer Sci., Univ. Toronto, Toronto, Canada, 1976.
16. ROWE, L.A., AND SHOENS, K.A. Data abstraction, views and updates in RIGEL. Proc. 1979 ACM SIGMOD Conf.
17. SCHMIDT, J.W. Some high level language constructs for data of type relation. ACM Trans. Database Syst. 2, 3 (Sept. 1977), 247-261.
18. SHAW, M., WULF, W.A., AND LONDON, R.L. Abstraction and verification in ALPHARD: Defining and specifying iteration and generators. Commun. ACM 20, 8 (Aug. 1977), 553-563.
19. SMITH, J., AND SMITH, D.C.P. A database approach to software specification. Tech. Rep. CCA-79-17, Computer Corp. of America, 1979.
20. SMITH, J., AND SMITH, D.C.P. Database abstractions: Aggregation and generalization. ACM Trans. Database Syst. 2, 2 (June 1977), 105-133.
21. WASSERMAN, A.I. Procedure-oriented exception-handling. Tech. Rep. 27, Lab. Medical Inf. Sci., Univ. California, San Francisco, 1977.
22. WASSERMAN, A.I., SHERNIZ, D.D., AND HANDA, E.F. Report on the programming language PLAIN. Lab. Medical Inf. Sci., Univ. California, San Francisco, 1978.
23. WEGBREIT, B. The treatment of data-types in ELI. Commun. ACM 17, 5 (May 1974), 251-264.
24. WIRTH, N. Program development by step-wise refinement. Commun. ACM 14, 4 (April 1971), 221-227.
25. WONG, H.K.T. Design and verification of interactive information systems. Ph.D. dissertation, Dep. Computer. Sci., Univ. Toronto, Toronto, Canada. To appear.
26. WONG, H.K.T., AND MYLOPOULOS, J. Two views of data semantics: Data models in artificial intelligence and database management. INFOR 15, 3 (Oct. 1977), 344-382.