Relačná algebra je špeciálna forma algebry, ktorá opisuje údaje uložené v relačných databázach a jazyky dotazov, ktoré sa používajú na prístup k týmto údajom. Prvýkrát ho vyvinul EF Codd v IBM a bol formálne predstavený v roku 1970. Coddova práca sa stala základom pre databázové dotazovacie jazyky ako SQL a MySQL.
Päť primitívnych operátorov
- Set union ( union ) - Vzhľadom na viacnásobné množiny údajov, napríklad dve množiny B a C, spojenie množín B ∪ C je údaj, ktorý sa objaví v ľubovoľnej alebo vo všetkých množinách.
- Nastaviť rozdiel (∖) - Vzhľadom na dve množiny údajov B a C, rozdiel množín B ∖ C je údaj, ktorý sa objavuje v C, ale nezobrazuje sa v B.
- Kartézsky produkt (×) - Vzhľadom na dve množiny údajov B a C je karteziánsky produkt B × C súbor všetkých usporiadaných párov (b, c), kde b je členom B a c je členom C.
- Výber (σ) - Zvážte množinu údajov B a vzorec φ, ktorý používa logické operátory a (∧) alebo (∨) a nie (). Výber σφ (B) má za následok všetky členy B, pre ktoré platí vzorec φ. Predpokladajme napríklad, že itional je výrokový vzorec pohlavia = žena ∨ (eyeColor = Modrá ∧ eyeColor = Hazel) . Výber σφ (Priatelia) by vyústil do súboru, ktorý obsahuje všetkých členov Priatelia, ktorí sú ženy a majú modré alebo orieškové oči.
- Projekcia (π) - Vzhľadom na množinu údajov B a množinu atribútov a1, a2…, projekcia πa1, a2… (R) je množina všetkých členov B obmedzených atribútmi a1, a2… . Napríklad projekcia πfullName, phoneNumber (addressBook) má za následok množinu, ktorá obsahuje iba členov adresára, ktoré majú atribúty fullName a phoneNumber .
Idempotencia, Jazyk, Operátor, Termíny programovania