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

Definicje

Jeżeli rozważamy szerszą klasę realizacji, które zawierają operacje zatwierdzonych jak i wycofywanych, na skutek awarii, transakcji, potrzebne są definicje nowych własności realizacji, wykluczających anomalie będące wynikiem awarii systemu. Aby zdefiniować nowe niezbędne własności realizacji, konieczne jest wprowadzenie dodatkowych definicji.

Mówimy, że transakcja Ti czyta daną x z transakcji Tj w realizacji H jeżeli:

1. wj[x] < ri[x ];

2. aj < ri[x ]

3. jeżeli istnieje operacja wk[x] taka, że wj[x] < wk[x] < ri[x ], wtedy ak < ri[x ].

Mówimy, że transakcja Ti czyta z transakcji Tj w realizacji H, jeżeli Ti czyta dowolna daną z transakcji Tj w realizacji H.

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