De onde você tirou que suas afirmações estão de acordo com o que os "pais da Teoria das Linguagens Formais" fizeram?

cita pelo menos uma fonte ou características que colocam SQL como linguagem de programação com

Nunca ouviu falar em ônus da prova? De qualquer forma eu já fiz isso desde o primeiro comentário, comentário esse que você respondeu. Você respondeu o comentário sem ler ele?