Uma linguagem de consulta é um exemplo de linguagem formal.

Uma linguagem formal é uma linguagem que possui sintaxe e semântica definidas com precisão. As linguagens de consulta são utilizadas para consultar bancos de dados e possuem sintaxe e semântica bem definidas que permitem aos usuários expressar suas consultas de forma clara e inequívoca.