Operatori binari relazionali

Le relazioni sono insiemi, quindi ha senso definire su di esse gli operatori insiemistici tradizionali di unione, differenza e intersezione.

Per ottenere come risultato una relazione (cioè un insieme di tuple omogenee) consideriamo ammissibili solo applicazioni degli operatori insiemistici a coppie di operandi definite sugli stessi attributi (schema). Ovvero, in altri termini, gli operandi devono avere lo stesso schema.

Inoltre le operazioni in questione sono operazioni binarie, quindi il numero di operandi è pari a due.

Unione

L'unione di due relazioni $R_{1}$ e $R_{2}$ definite sullo stesso insieme di attributi $X$ è indicata con $R_{1}\cup R_{2}$ ed è una relazione ancora su $X$ contenente le tuple che appartengono a $R_{1}$ oppure a $R_{2}$, oppure a entrambe.

Intersezione

L'intersezione di due relazioni $R_{1}$ e $R_{2}$ definite sullo stesso insieme di attributi $X$ è indicata con $R_{1}\cap R_{2}$ ed è una relazione ancora su $X$ contenente le tuple che appartengono a $R_{1}$ e a $R_{2}$.

Differenza

La differenza tra due relazioni $R_{1}$ e $R_{2}$ definite sullo stesso insieme di attributi $X$ è indicata con $R_{1}-R_{2}$ ed è una relazione ancora su $X$ contenente le tuple che appartengono a $R_{1}$ e non appartengono a $R_{2}$.