Релационната алгебра е специална форма на алгебра, която описва данните, съхранявани в релационните бази данни, и езиците за заявки, използвани за достъп до тези данни. За първи път е разработена от EF Codd в IBM и официално е въведена през 1970 г. Работата на Codd се превърна в основа за езиците за заявки в базата данни като SQL и MySQL.

Петте примитивни оператора

• Set union ( union ) - Дадени са множество набори от данни, например две групи B и C, обединението на множествата B is C е данните, които се появяват във всеки или във всички набори.
• Зададена разлика (∖) - Дадени са две групи данни B и C, разликата между множествата B is C е данните, които се появяват в C, но не се появяват в B.
• Декартово произведение (×) - Давайки две групи данни B и C, декартовият продукт B × C е множеството от всички подредени двойки (b, c), където b е член на B, и c е член на C.
• Избор (σ) - Разглеждане на набор от данни B и формула φ, която използва логическите оператори и (∧) или (∨), а не (). Изборът σφ (B) води до всички членове на B, за които формулата φ е вярна. Да предположим например, че φ е формулата на предложението gender = female ∨ (eyeColor = Blue ∧ eyeColor = Hazel) . Изборът φφ (Приятели) ще доведе до набор, който съдържа всички членове на Приятели, които са жени и имат или сини, или лешникови очи.
• Проекция (π) - Даден е набор от данни B и набор от атрибути a1, a2…, проекцията πa1, a2… (R) е множеството на всички членове на B, ограничени от а1, a2… атрибутите. Например проекцията πfullName, phoneNumber (addressBook) води до набор, който съдържа само членовете на адресната книга, които имат атрибутите fullName и phoneNumber .

Идемпотентност, език, оператор, програмни термини