HiPAC

Fornisce un ventaglio piu' ampio di possibilita` e consente di stabilire coupling modes diversi tra le due coppie (E,C) e (C,A):

• immediati (immediate)

• differiti (deferred)

• disaccoppiati (decoupled)

• disaccoppiati con vincolo di serializzazione (casually-dependent decoupled)

L'esecuzione delle regole dipende dalla modalita` di accoppiamento e segue una estensione del modello delle transazioni nidificate (extended nested transaction model)