Struggling for the right word

A colleague has just used the phrase "SQL language". Now the L in SQL stands for language so a small discussion followed regarding the use of the meaning of an abbreviation in the same sentence. We all quoted examples such as "DC current" or, my son's favourite example, "personal PIN number". There is clearly some duplication going on here which we all found superfluous. The question we were left with was is there a word for it?