Scrivi le viste con := e vedi la tabella che ogni riga produce
avvio del motore…
σ cond ( R ) — selezione, tiene righe
π a,b ( R ) — proiezione, tiene colonne (toglie i duplicati)
ρ nuovo←vecchio ( R ) — ridenomina
R ⋈ S — join naturale (sugli attributi con lo stesso nome)
R ⋈ A=B S — join con condizione
R × S — prodotto cartesiano (schemi disgiunti)
R − S · R ∪ S · R ∩ S — richiedono lo stesso schema
Se la risposta è una sola espressione, scrivila e basta.
Se servono più passi, dai un nome a ognuno con NOME := espressione e poi riusa quel nome nelle righe successive. Il nome lo scegli tu.
Nelle condizioni usa ∧ e ∨, senza parentesi.