Séquence 3/6 : Algèbre relationnelle

Nous concluons cette séquence avec un résultat fondamental, l'équivalence entre le calcul relationnel et l'algèbre relationnelle. La preuve de ce théorème est hors programme, nous la donnons néanmoins pour le lecteur intéressé. L'impact de ce théorème, comme nous l'avons expliqué dans la première séquence est qu'il permet à l'utilisateur de formuler ses requêtes dans un langage descriptif et au logiciel de les exécuter, puisqu'il est capable de les transformer en une requête algébrique et donc impérative.