Una transazione nidificata e` una transazione che nasce dall'interno di un'altra transazione (transazione padre).
Una transazione puo` generare ricorsivamente piu' transazioni creando un albero delle transazioni di profondita` in principio arbitraria.
Le sotto transazioni possono essere concorrenti o serializzate ma dall'esterno tutto l'albero viene visto come una entita` singola.
L'effetto di Tij non e` visibile finche` Tkl non ha fatto commit (se k<i).
Se Tij fa abort, si fa il rollback dell'effetto di Tkl.
Se Tkl fa abort, Tij puo':