Theseus—a programming language for relational databeses
- 1 December 1979
- journal article
- Published by Association for Computing Machinery (ACM) in ACM Transactions on Database Systems
- Vol. 4 (4), 493-517
- https://doi.org/10.1145/320107.320121
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.Keywords
This publication has 19 references indexed in Scilit:
- High level programming for distributed computingCommunications of the ACM, 1979
- Some high level language constructs for data of type relationACM Transactions on Database Systems, 1977
- Report on the programming language EuclidACM SIGPLAN Notices, 1977
- The notions of consistency and predicate locks in a database systemCommunications of the ACM, 1976
- Differential filesACM Transactions on Database Systems, 1976
- An authorization mechanism for a relational database systemACM Transactions on Database Systems, 1976
- System RACM Transactions on Database Systems, 1976
- An introduction to the set theoretical language SETLComputers & Mathematics with Applications, 1975
- High level operations in automatic programmingACM SIGPLAN Notices, 1974
- An ALGOL-based associative languageCommunications of the ACM, 1969