Abstract
Theseus, a very high-level programming language extending EUCLID, is described. Data objects in Theseus include relations and a-sets, a generalization of records. The primary design goals of Theseus are to facilitate the writing of well-structured programs for database applications and to serve as a vehicle for research in automatic program optimization.
- 1 AHO, A.V., AND ULLMAN, J.D. Universality of data retrieval languages. Conf. Rec. Sixth Annual ACM Symp. on Principles of Programming Languages, San Antonio, Tex., Jan. 1979, pp. 110-117. Google ScholarDigital Library
- 2 ALLEN, F.E. Program optimization. In Annual Review in Automatic Programming, Vol. 5, Pergamon Press, New York, 1969, pp. 239-307.Google Scholar
- 3 ASTRAHAN, M.M., ET AL. System R: Relational approach to database management. ACM Trans. Database Syst. 1, 2 (June 1976), 97-137. Google ScholarDigital Library
- 4 BIRTWISTLE, G.M. Simula BEGIN, Auerbach, Philadelphia, 1973. Google ScholarDigital Library
- 5 BRINCH HANSEN, P. The programming language Concurrent Pascal. IEEE Trans. on Software Eng. SE-1, 2 (June 1975), 199-207.Google ScholarDigital Library
- 6 BROWN, P.J. Macro Processors. Wiley-Interscience, New York, 1974.Google Scholar
- 7 CHAMBERLIN, D.E., ET AL. SEQUEL 2: A unified approach to data definition, manipulation, and control. IBM J. Res. Develop. 20, 6 (Nov. 1976), 560-575.Google Scholar
- 8 CObb, E.F. A relational model of data for large shared data banks. Comm. ACM 13, 6 (June 1970), 377-387. Google ScholarDigital Library
- 9 CODD, E.F. Further normalization of the data base relational model. In Courant Computer Sciences Symposia, Vol. 6, Data Base Systems, Prentice-Hall, Englewood Cliffs, N.J., May 1971, pp. 33-64.Google Scholar
- 10 CODD, E.F. Relational completeness of data base sublanguages, in Courant Computer Sciences Symposia, Vol. 6, Data Base Systems, Prentice-Hall, Englewood Cliffs, N.J., May 1971, pp. 65-98.Google Scholar
- 11 DAHL, O.-J., DIJKSTRA, E.W., A~D HOARE, C.A.R. Structured Programming. Academic Press, London and New York, 1972. Google ScholarDigital Library
- 12 DATE, C.J. An Introduction to Database Systems, 2nd ed., Addison-Wesley, Reading, Mass., 1977. Google ScholarDigital Library
- 13 DEMERS, A., DONAHUE, J., AND SKINNER, G. Data types as values: Polymorphism, type-checking, encapsulation. Conf. Rec. Fifth Annual ACM Syrup. on Principles of Programming Languages, Tucson, Ariz., 1977, pp. 23-30. Google ScholarDigital Library
- 14 EARLEY, J. Relational level data structures for programming languages. Acta Informatica 2 (1973), 293-309.Google ScholarDigital Library
- 15 EARLEY, J. High level operations in automatic programming. SIGPLAN Notices (ACM) 9, 4 (April 1974), 34-42. Google ScholarDigital Library
- 16 ESWARAN, K.P., ET AL. The notions of consistency and predicate locks in a database system. Comm. ACM 19, 11 (Nov. 1976), 624-633. Google ScholarDigital Library
- 17 FELDMAN, J.A. High level programming for distributed computing. Comm. ACM 22, 6 (June 1979), 353-368. Google ScholarDigital Library
- 18 FELDMAN, J.A., v.V AL. Recent developments in SAIL--an ALGOL-based language for artificial intelligence. Proc. FJCC, AFIPS Press, Montvale, N.J., pp. 1193-1201.Google Scholar
- 19 FELDMAN, J.A., AND ROVNER, P.D. An Algol-based associative language. Comm. ACM 12, 8 (Aug. 1969), 439-449. Google ScholarDigital Library
- 20 FELDMAN, J.A., AND WILLIAMS, G.J. Some remarks on data types. TR 28, Comptr. Sci. Dept., U. of Rochester, Rochester, N.Y., 1978.Google Scholar
- 21 GRIFFITHS, P.P., AND WADE, B.W. An authorization mechanism for a relational database system. ACM Trans. Database Syst. i, 3 (Sept. 1976), 242-255. Google ScholarDigital Library
- 22 GRISWOLD, R.E., POAGE, J.F., AND POLONSKY, I.P. The SNOBOL4 Programming Language, 2nd ed., Prentice-Hall, Englewood Cliffs, N.J., 1971. Google ScholarDigital Library
- 23 HECHT, M.S. Flow Analysis of Computer Programs. Elsevier, North-Holland, New York, 1977. Google ScholarDigital Library
- 24 JENSEN, K., AND WIRTH, N. Pascal User Manual and Report, 2nd ed., Springer-Verlag, New York, 1975. Google ScholarDigital Library
- 25 KENNEDY, K., AND SCHWARTZ, d. An introduction to the set theoretical language SETL. Comp. and Math. with Applications 1, 1 (1975), 97-119.Google ScholarCross Ref
- 26 LAMPSON, B.W., ET AL. Report on the programming language Euclid. SIGPLAN Notices (ACM) 12, 2 (Feb. 1977), 1-79. Google ScholarDigital Library
- 27 LORIE, R.A., AND WADE, B.W. The compilation of a very high level data language. Rep. RJ2008 (28098), IBM Research Center, Yorktown Heights, N.Y., May 1977.Google Scholar
- 28 LOW, J.R., AND ROVNER, P.D. Techniques for the automatic selection of data structures. TR 4, Comptr. Sci. Dept., U. of Rochester, Rochester, N.Y., Feb. 1976.Google Scholar
- 29 Low, J.R. Automatic data structure selection: An example and overview. TR 14, Comptr Sci. Dept., U. of Rochester, Rochester, N.Y., Sept. 1976.Google Scholar
- 30 McCARTHY, J., ET AL. LISP 1.5 Programmer's Manual. M.I.T. Press, Cambridge, Mass., 1965. Google ScholarDigital Library
- 31 MXNSKY, M.L. Computation: Finite and Infinite Machines. Prentice-Hall, Englewood Cliffs, N.J., 1967. Google ScholarDigital Library
- 32 MORRIS, J.B. A comparison of Madcap and SETL. Tech. Rep., U. of California, Los Alamos Scientific Labs., Los Alamos, N.Mex., 1973.Google Scholar
- 33 REISER, J.F., Ed. SAIL. Memo AIM-289, Stanford Artificial Intelligence Lab., Stanford U., Stanford, Calif., Aug. 1976. Google ScholarDigital Library
- 34 REISNER, P. Use of psychological experimentation as an aid to development of a query language. Res. Rep. RJ 1707, IBM Research Lab., San Jose, Calif., Jan. 1976.Google Scholar
- 35 ROVNER, P.D. Automatic representation selection for associative data structures. TR 10, Comptr. Sci. Delft., U. of Rochester, Rochester, N.Y., Sept. 1976.Google Scholar
- 36 SCHMIDT, d.W. Some high level language constructs for data of type relation. ACM Trans. Database Syst. 2, 3 (Sept. 1977), 247-261. Google ScholarDigital Library
- 37 SC~MIDT, J.W. Type concepts for database definition. Proc. Int. Conf. on Databases: improving Usability and Responsiveness. Academic Press, New York, 1978, pp. 215-244.Google Scholar
- 38 SEVERANCE, D.G., AND LOHMAN, G.M. Differential files: Their application to the maintenance of large databases. ACM Trans. Database Syst. 1, 3 (Sept. 1976), 256-267. Google ScholarDigital Library
- 39 STON~BRAKER, M., ASD ROWE, L.A. Observations on data manipulation languages and their embedding in general purpose progamming languages. Mem. UCB/ERL M77/53, Electronics Research Lab., U. of California, Berkeley, Calif., July 1977.Google Scholar
- 40 TSXCHmTZIS, D. On implementation of relations. CSRG Tech. Rep, 35, Comptr. Syst. Res. Group, U. of Toronto, Toronto, Canada, May 1974.Google Scholar
- 41 WULF, W.A., ET AL. The Design ofan Optimizing Compiler. American Elsevier, New York, 1975. Google ScholarDigital Library
- 42 ZLOOF, M.M. Query by example. Proc. AFIPS 1975 NCC, Vol. 44, AFIPS Press, Montvale, N.J., pp. 431-438.Google Scholar
- 43 ZLOOF, M.M. Query-by-example: A data base management language. IBM Res. Rep., IBM Research Center, Yorktown Heights, N.Y., Dec. 1976.Google Scholar
Index Terms
- Theseus—a programming language for relational databeses
Recommendations
Very high-level language design: A viewpoint
Recent developments in very high-level language design indicate that these languages hold great promise for improving the level of man-machine communication, and hence improving computer and programmer utilization. (Essentially, a very high-level ...
Embedding a relational data sublanguage in a general purpose programming language
Proceedings of the 1976 conference on Data : Abstraction, definition and structureThis paper describes EQUEL, a programming language which embeds the relational data sublanguage QUEL into the general purpose programming language “C”. Both QUEL and EQUEL are operational parts of the INGRES relational data base management system at ...
Embedding a relational data sublanguage in a general purpose programming language
Proceedings of conference on data: abstraction, definition and structureThis paper describes EQUEL, a programming language which embeds the relational data sublanguage QUEL into the general purpose programming language “C”. Both QUEL and EQUEL are operational parts of the INGRES relational data base management system at ...
Comments