Source : WordNet®

Theseus
     n : (Greek mythology) a hero and king of Athens who was noted
         for his many great deeds: killed Procrustes and the
         Minotaur and defeated the Amazons and united Attica

Source : Free On-Line Dictionary of Computing

Theseus
     
         A language based on {Euclid}, never implemented.
     
        ["Theseus - A Programming Language for Relational Databases",
        J.E. Shopiro, ACM Trans Database Sys 4(4):493-517, Mar 1979].
     
        (1994-12-14)