Et forespørgselssprog er et eksempel på et formelt sprog.

Et formelt sprog er et sprog, der har en præcist defineret syntaks og semantik. Forespørgselssprog bruges til at forespørge databaser, og de har en veldefineret syntaks og semantik, der giver brugerne mulighed for at udtrykke deres forespørgsler på en klar og utvetydig måde.