BD-2st-1.2-w08.tresc-1.1-Slajd32

Realizacje odtwarzalne (2)

Korzystając z wprowadzonych pojęć, możemy obecnie zdefiniować nowe klasy realizacji transakcji.

Mówimy, że realizacja H jest odtwarzalna (ang. recoverable ) (RC ) wówczas, jeżeli transakcja Ti czyta z transakcji Tj (i różne od j ) w realizacji H i ci należy do realizacji H , to cj < ci

Mówimy, że realizacja H unika kaskadowych wycofań (ang. avoids cascading aborts ) (ACA ) wówczas, jeżeli transakcja Ti czyta z transakcji Tj (i różne od j ), to cj < ri [x ]

Mówimy, że realizacja H jest ścisła (ang. strict ) (ST ) wówczas, jeżeli wj [x ] < oi [x ] (i różne od j ), zachodzi aj < oi [x ] lub cj < oi [x ], gdzie oi [x ] jest jedną z operacji ri [x ] lub wi [x ]

<< Poprzedni slajd | Spis treści | Następny slajd >>