Relationele algebra is een speciale vorm van algebra die de gegevens beschrijft die zijn opgeslagen in relationele databases en de query-talen die worden gebruikt om toegang te krijgen tot die gegevens. Het werd voor het eerst ontwikkeld door EF Codd bij IBM en werd formeel geïntroduceerd in 1970. Codd's werk werd de basis voor database-query-talen zoals SQL en MySQL.

De vijf primitieve operatoren

• Set union (∪) - Gegeven meerdere sets gegevens, bijvoorbeeld twee sets B en C, is de combinatie van de sets B ∪ C de gegevens die in een of alle sets worden weergegeven.
• Verschil instellen (∖) - Gegeven twee sets gegevens B en C is het verschil tussen de sets B ∖ C de gegevens die in C verschijnen, maar niet in B.
• Cartesiaans product (×) - Gegeven twee reeksen gegevens B en C, is het Cartesiaanse product B x C de verzameling van alle geordende paren (b, c) waarbij b een lid is van B, en c een lid is van C.
• Selectie (σ) - Overweeg een set gegevens B en een formule φ die de logische operatoren en (∧) of (∨) en niet () gebruikt. De selectie σφ (B) resulteert in alle leden van B waarvoor de formule φ waar is. Stel bijvoorbeeld dat φ de propositieformule gender = female ∨ is (eyeColor = Blue ∧ eyeColor = Hazel) . De selectie σφ (Vrienden) zou resulteren in een set die alle leden van Vrienden bevat die vrouwelijk zijn en blauwe of bruine ogen hebben.
• Projectie (π) - Gegeven een reeks gegevens B en een reeks attributen al, a2 ..., is de projectie πa1, a2 ... (R) de verzameling van alle leden van B die wordt beperkt door de al, a2 ... -attributen. Bijvoorbeeld, de projectie πfullName, phoneNumber (addressBook) resulteert in een set die alleen de leden van addressBook bevat met de attributen fullName en phoneNumber .

Idempotence, taal, operator, programmeervoorwaarden