Relationsalgebra är en speciell algebraform som beskriver data lagrad i relationsdatabaser och frågespråk som används för att komma åt den data. Det utvecklades först av EF Codd på IBM och introducerades formellt 1970. Codds arbete blev grunden för databasfrågspråk som SQL och MySQL.

De fem primitiva operatörerna

• Ange union (∪) - Med flera uppsättningar data, till exempel två uppsättningar B och C, är facket av uppsättningarna B ∪ C de data som visas i någon eller alla uppsättningar.
• Ange skillnad (∖) - Med tanke på två uppsättningar data B och C är skillnaden i uppsättningarna B ∖ C den data som visas i C men visas inte i B.
• Cartesian produkt (×) - Med tanke på två uppsättningar data B och C är Cartesian produkt B × C uppsättningen av alla beställda par (b, c) där b är medlem av B och c är en medlem av C.
• Urval (σ) - Tänk på en uppsättning data B och en formel φ som använder de logiska operatörerna och (∧) eller (∨) och inte (). Urvalet σφ (B) resulterar i alla medlemmar av B för vilka formeln φ är sann. Antag exempelvis att φ är den propositionella formeln gender = female ∨ (eyeColor = Blue ∧ eyeColor = Hazel) . Urvalet σφ (Vänner) skulle resultera i en uppsättning som innehåller alla medlemmar av Vänner som är kvinnliga och har antingen blåa eller hasselösa ögon.
• Projektion (π) - Med en uppsättning data B och en uppsättning attribut a1, a2 ... är projiceringen πa1, a2 ... (R) uppsättningen av alla B- medlemmar som begränsas av attributen a1, a2 .... Projektionen πfullName, phoneNumber (adressbok) resulterar till exempel i en uppsättning som endast innehåller medlemmarna i adressboken som har attributen fullName och phoneNumber .

Idempotence, Language, Operator, Programmeringsvillkor