Le condizioni atomiche permettono anche:
La forma nidificata è “meno dichiarativa”, ma talvolta più leggibile (richiede meno variabili)
La forma piana e quella nidificata possono essere combinate
Le sottointerrogazioni non possono contenere operatori insiemistici (l’unione si fa solo a livello esterno); la limitazione non è significativa
La prima versione di SQL prevedeva solo la forma nidificata (o strutturata), con una sola relazione in ogni clausola from (insoddisfacente: la dichiaratività è limitata, non si possono includere nella target list attributi di relazioni nei blocchi interni)
In un blocco si può fare riferimento a variabili definite in blocchi più esterni; la semantica base (prodotto cartesiano, selezione, proiezione) non funziona più
Ulteriore tipo di condizione: EXISTS (Sottoespressione)
L’interrogazione interna viene eseguita una volta per ciascuna ennupla dell’interrogazione esterna