Per interrogare le basi di dati si usano tradizionalmente linguaggi programmativi, come SQL o QBE. Esistono anche dei linguaggi formali come l'algebra relazionale, il calcolo relazionale e la programmazione logica per interrogare le basi di dati.
L'algebra relazionale è un linguaggio formale di interrogazione delle basi dei dati. In questo linguaggio esiste un insieme minimo di 5 operazioni che danno l'intero potere espressivo del linguaggio, dove gli operandi sono le tabelle. Le espressioni algebriche esprimono interrogazioni in modo formale, e consentono di estrarre informazioni dai dati.
Datalog è un linguaggio query basato sul Prolog. È un linguaggio basato sulla programmazione logica, che è un paradigma di programmazione basato su delle regole.
Ha potere espressivo maggiore dell'algebra relazionale.