Kyselykieli on tietokannan tai tietojärjestelmän sisältämien tietojen noutamiseen tarkoitettu täsmäkieli. Kyselykielet eivät yleensä ole Turing-täydellisiä.
Keskeinen käsite kyselykielissä on tarve toimia osittaisella tiedolla, joka on tallennetun tiedon osajoukko.[1] Edgar F. Coddin esiteltyä relaatiomallin monet havaitsivat että todellisissa sovelluksissa kaikki arvot eivät välttämättä ole olemassa (null-arvot).[1]
Varhaisissa hierarkisen ja verkkomallin tietokannoissa kysely perustui pitkälti proseduraaliseen navigaatioon.[2][3]
Tunnettuja esimerkkejä kyselykielistä ovat SQL ja XQuery, mutta useat SaaS-sovellukset ovat toteuttaneet omansa.[4] Verkossa toimiviin sovelluksiin suunnattuja ovat esimerkiksi SPARQL.[5] NoSQL-järjestelmiin on kehitetty omia SQL:stä poikkeavia kyselykieliä kuten Apache Cassandran CQL (Cassandra Query Language).[6]
Big data -ympäristöön on kehitetty korkean tason kyselykieliä MapReduce-tekniikan päälle.[7]