Galileo

A language for functional database systems. See Adaplex, Taxis.

"Galileo: A Strongly Typed Interactive Conceptual Language", A. Albano et al, ACM Transactions on Database Systems 10(2):230-260 (June 1985).