Релацијска алгебра је посебан облик алгебре која описује податке похрањене у релацијским базама података и језицима упита који се користе за приступ тим подацима. Први пут га је развио ЕФ Цодд у ИБМ-у и формално је уведен 1970. године. Цодд-ов рад постао је основа за упитне језике базе података као што су СКЛ и МиСКЛ.

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

• Сет унион (-) - С обзиром на вишеструке скупове података, на примјер два сета Б и Ц, унија скупова Б ис Ц су подаци који се појављују у било којем или у свим скуповима.
• Сет разлика (-) - дати два скупа података Б и Ц, разлика сетова Б Б Ц су подаци који се појављују у Ц, али се не појављују у Б.
• Картезијев производ (×) - Дати два скупа података Б и Ц, картезијански производ Б × Ц је скуп свих уређених парова (б, ц) где је б члан Б, а ц је члан Ц.
• Избор (σ) - Размотримо скуп података Б и формулу φ која користи логичке операторе и (∧) или (∨), а не (). Избор σφ (Б) резултира у свим члановима Б за које је формула. Истинита. На пример, претпоставимо да је пропос формула пропозиције гендер = фемале (еиеЦолор = Блуе Ц еиеЦолор = Хазел) . Избор φφ (Пријатељи) би резултирао скупом који садржи све чланове Пријатеља који су женски и имају или плаве или боје љешњака.
• Пројекција (π) - С обзиром на скуп података Б и скуп атрибута а1, а2…, пројекција πа1, а2… (Р) је скуп свих чланова Б ограничених атрибутима а1, а2… . На пример, пројекција πфуллНаме, пхонеНумбер (аддрессБоок) резултира скупом који садржи само чланове адресара који имају атрибуте фуллНаме и пхонеНумбер .

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