L' algebra relazionale è un linguaggio procedurale, basato su concetti di tipo algebrico. Essa è costituita da un insieme di operatori, definiti su relazioni e che producono ancora relazioni come risultati.
Notiamo che le relazioni sono insiemi, e quindi jha senso definire gli operatori insiemistici tradizionali.
<aside> 💡 Consideriamo ammissibili, nell'algebra relazionale, solo applicazioni degli operatori di unione, intersezione e differenza a coppie di operandi definite sugli stessi attributi.
</aside>

La limitazione per cui dobbiamo avere tuple omogenee per cui con attributi in comune risulta pesante. Consideriamo questo esempio

sarebbe sensato eseguire una sorte di unione al fine di ottenere le coppie genitore-figlio, ma ciò non è possibile perchè l'attributo Genitore si chiama Madre in una e Padre nell'altra tabella.
Per risolvere il problema usiamo l'operatore ridenominazione che ha come scopo quello di adeguare i nomi agli attributi a seconda delle necessità.

Come vediamo, la ridenominazione agisce solo sullo schema, cambiando ik nome di Padre in Genitore e Madre in Genitore.


Esaminiamo ora gli operatori tipici dell'algebra relazionale che permettono di manipolare le relazioni, essi osno tre, selezione, proiezione e join.
Facciamo una considerazione, selezione e proiezione svolgono funzioni complementari.
Entrambe producono come risultato una porzione dell'operando: