Theseus

A language based on Euclid, described but never implemented.

"Theseus - A Programming Language for Relational Databases", J. E. Shopiro, ACM Transactions on Database Systems 4(4):493-517 (Mar 1979).