Theseus—a programming language for relational databeses
Jonathan E. Shopiro · ACM Transactions on Database Systems · 1979
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.