Suhteellinen algebra on erityinen algebran muoto, joka kuvaa relaatiotietokantoihin tallennettuja tietoja ja näiden tietojen käyttämiseen käytettäviä hakukieliä. Sen kehitti ensin EF Codd IBM: ssä ja se otettiin virallisesti käyttöön vuonna 1970. Coddin työstä tuli pohja tietokantakyselykielille, kuten SQL ja MySQL.

Viisi primitiivistä operaattoria

• Aseta liitos (∪) - Useita tietoryhmiä, esimerkiksi kaksi sarjaa B ja C, joukko B B C on data, joka näkyy missä tahansa tai kaikissa sarjoissa.
• Aseta ero (∖) - Kun kaksi dataa B ja C, joukko B ∖ C eroaa C: stä, mutta ei näy B: ssä.
• Cartesian-tuote (×) - Kun kaksi tietokokonaisuutta B ja C, Cartesian-tuote B × C on joukko kaikkia tilattuja paria (b, c), jossa b on B: n jäsen ja c on C: n jäsen.
• Valinta (σ) - Tarkastellaan tietokokonaisuutta B ja kaavaa φ, joka käyttää loogisia toimijoita ja (() tai (∨) eikä (). Valinta σφ (B) johtaa kaikkiin B: n jäseniin, joiden kaava φ on totta. Oletetaan esimerkiksi, että φ on ehdotettu kaava sukupuoli = naaras ∨ (eyeColor = Blue ∧ eyeColor = Hazel) . Valinta σφ (ystävät) johtaisi sarjaan, joka sisältää kaikki ystävät, jotka ovat naisia ​​ja joilla on joko sininen tai pähkinä silmät.
• Projisointi (π) - Annetaan joukko dataa B ja joukko attribuutteja a1, a2…, projektio πa1, a2… (R) on kaikkien B: n jäsenten joukko, jota rajoittavat a1, a2… -määritteet. Esimerkiksi projektio πfullName, phoneNumber (addressBook) johtaa sarjaan, joka sisältää vain osoitekirjan jäsenet, joilla on attribuutit fullName ja phoneNumber .

Idempotence, kieli, operaattori, ohjelmointitermit