L'algèbre relationnelle est une forme spéciale d'algèbre qui décrit les données stockées dans des bases de données relationnelles et les langages de requête utilisés pour accéder à ces données. Il a été développé pour la première fois par EF Codd chez IBM et a été officiellement introduit en 1970. Les travaux de Codd sont devenus la base des langages de requête de bases de données tels que SQL et MySQL.

Les cinq opérateurs primitifs

• Ensemble union (∪) - Étant donné plusieurs ensembles de données, par exemple deux ensembles B et C, l'union des ensembles B C correspond aux données qui apparaissent dans un ou dans tous les ensembles.
• Différence d'ensemble (∖) - Soit deux ensembles de données B et C, la différence des ensembles B ∖ C est la donnée qui apparaît dans C mais n'apparaît pas dans B.
• Produit cartésien (×) - Soit deux ensembles de données B et C, le produit cartésien B × C est l'ensemble de toutes les paires ordonnées (b, c) où b est un membre de B et c est un membre de C.
• Sélection (σ) - Considérons un ensemble de données B et une formule φ utilisant les opérateurs logiques et (∧) ou (∨) et non (). La sélection σφ (B) a pour résultat tous les membres de B pour lesquels la formule est vraie. Par exemple, supposons que soit la formule propositionnelle genre = femme ∨ (eyeColor = Blue ∧ eyeColor = Hazel) . La sélection σφ (Amis) donnera un ensemble contenant tous les membres d’Amis qui sont des femmes et qui ont des yeux bleus ou noisette.
• Projection (π) - Soit un ensemble de données B et un ensemble d'attributs a1, a2…, la projection πa1, a2… (R) est l'ensemble de tous les membres de B restreints par les attributs a1, a2… . Par exemple, la projection πfullName, phoneNumber (addressBook) donne un ensemble contenant uniquement les membres de addressBook ayant les attributs fullName et phoneNumber .

Idempotence, langage, opérateur, termes de programmation