Ett frågespråk är ett exempel på ett formellt språk.
Ett formellt språk är ett språk som har en exakt definierad syntax och semantik. Frågespråk används för att fråga databaser, och de har en väldefinierad syntax och semantik som gör att användare kan uttrycka sina frågor på ett tydligt och entydigt sätt.