Obiektowe modelowanie systemów informatycznych



Pobieranie 8,01 Mb.
Strona60/113
Data23.10.2017
Rozmiar8,01 Mb.
1   ...   56   57   58   59   60   61   62   63   ...   113

Anomalne historii przetwarzania transakcji


Z punktu widzenia analizy poprawności protokołów (algorytmów) zarządzania transakcjami istotnie jest analizowanie historii przetwarzania transakcji. Historia taka znana jest po wykonaniu wyznaczonego zbioru transakcji.

Definicja 1. Niech będzie zbiorem transakcji. Ciąg




operacji pochodzących z transakcji należących do zbioru nazywamy historią przetwarzania transakcji za zbioru . Jeśli operacja poprzedza operację w historii H, to stosować będziemy zapis .


1   ...   56   57   58   59   60   61   62   63   ...   113


©operacji.org 2017
wyślij wiadomość

    Strona główna