H ? « ‹ ← → › »

Language peer sets for Theseus:
United States↑
United States/1979↑
Designed 1979 ↑
1970s languages ↑
Fourth generation↑
High Cold War↑
Business Data Processing ↑
Business Data Processing/1979↑
Business Data Processing/us ↑

Theseus(ID:874/the014)

alternate simple view
Country: United States
Designed 1979
Published: 1979
Sammet category: Business Data Processing

Jonathan E. Shopiro  Univ. of Rochester, Rochester, NY

Elegant research database programming language. Designed as a set of extensions to Euclid following the SETL and SNOBOL model: extension consisted of a-sets - associative sets. The relations were a particular type of the a-set.

Euclid was used so the programs could be verifiable
Related languages
Euclid → Theseus   for verifiability complete Extension of
References:
  • Shopiro, J.E. (1979) Shopiro, J.E. "Theseus: A Programming Language for Relational Databases" Extract: Introduction Extract: a-sets and influences Extract: a-sets and EUCLID
          in (1979) ACM Trans Database Sys 4(4) Mar 1979
  • (1980) Wasserman, A review of Shopiro Abstract
          in (1980) ACM Computing Reviews 21(03) March 1980
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder