Et spørrespråk er et eksempel på et formelt språk.
Et formelt språk er et språk som har en presist definert syntaks og semantikk. Spørringsspråk brukes til å søke etter databaser, og de har en veldefinert syntaks og semantikk som lar brukere uttrykke sine spørringer på en klar og entydig måte.