theta join

È l’operazione binaria che consente di selezionare le tuple del prodotto cartesiano dei due operandi he soddisfano una condizione del tipo $A\Theta B$, dove:

• $\Theta$ è un operatore di confronto
• $A$ è un attributo dello schema del primo operando
• $B$ è un attributo dello schema del secondo operando
• $\text{Dom(A)}=\text{Dom}(B)$

Osservazioni: $r1▹◃r2={\rho }_{A\Theta B}(r1\times r2)$

N.B.:

Esercizio: Nomi dei docenti non residenti a Roma che insegnano nel secondo semestre.

• Corso(codice, titolo, programma, semestre)
• Docente(codice, cf, cognome, nome, città residenza)
• Insegna(docente, corso)

$$\text{corsi2}={\sigma }_{\text{semestre}=2}(\text{corsi})$$ $$\text{docentiNonRoma}={\sigma }_{\text{cittaˋ residenza}\ne \text{"Roma"}}(\text{docente})$$ $$\text{corsi2}\underset{\text{insegna.corso = corsi2.codice}}{▹◃}\text{insegna}\underset{\text{insegna.docente = docentiNonRoma.codice}}{▹◃}\text{docentiNoRoma}$$

${\sigma }_{\text{cittaˋ residenza}\ne \text{roma}}((\text{docente}▹◃\text{insegna})▹◃\text{corso})$