L’algèbre relationnelle est un langage (dérivé de la théorie des ensembles) contenant un ensemble d’opérations qui permettent de manipuler des relations (ensemble de tuples).
Inventée par Edgar Franck Codd, l’algèbre relationnelle utilise des opérateurs ensemblistes (Union : sélectionne les données de tous les ensembles, Intersection : sélectionne uniquement les données communes, Différence : sélectionne uniquement les données faisant partie d’un ensemble mais pas de l’autre, Produit cartésien : sélectionne tous les couples possibles entre les éléments des différents ensembles), des opérateurs relationnels (Sélection, Projection, Jointure et Division) qui permettent de définir comment les informations sont liées entre elles et comment on peut y accéder et des opérateurs dérivés (jointure externe, semi jointure, …etc).