Relasjonsalgebra er en spesiell form for algebra som beskriver dataene lagret i relasjonsdatabaser og spørrespråkene som brukes til å få tilgang til dataene. Det ble først utviklet av EF Codd på IBM og ble formelt introdusert i 1970. Codds arbeid ble grunnlaget for databasespesningsspråk som SQL og MySQL.

De fem primitive operatørene

• Sett union (∪) - Gitt flere sett med data, for eksempel to sett B og C, er foreningen av settene B ∪ C de dataene som vises i noen eller i alle settene.
• Angi forskjell (∖) - Gitt to sett med data B og C, er forskjellen på settene B ∖ C dataene som vises i C, men vises ikke i B.
• Kartesian produkt (×) - Gitt to sett med data B og C, er det Cartesian-produktet B × C settet av alle bestilte par (b, c) hvor b er et medlem av B, og c er et medlem av C.
• Valg (σ) - Vurder et sett med data B, og en formel φ som bruker de logiske operatørene og (∧) eller (∨) og ikke (). Valget σφ (B) resulterer i alle medlemmer av B som formelen φ er sant for. For eksempel, anta at φ er den proposisjonelle formelen kjønn = kvinne ∨ (eyeColor = Blå ∧ eyeColor = Hazel) . Valget σφ (Venner) vil resultere i et sett som inneholder alle medlemmer av Venner som er kvinnelige og har enten blå eller hasseløs øyne.
• Projeksjon (π) - Gitt et sett med data B og et sett med attributter a1, a2 ..., projeksjonen πa1, a2 ... (R) er settet av alle medlemmer av B begrenset av attributene a1, a2 .... For eksempel resulterer projeksjonen πfullName, phoneNumber (addressBook) i et sett som bare inneholder medlemmer av adresseboken som har attributene fullName og phoneNumber .

Idempotence, Språk, Operatør, Programmeringsbetingelser