BD-2st-1.2-w08.tresc-1.1-Slajd17
Z Studia Informatyczne
Realizacje transakcji (2)
Formalną notację realizacji S zbioru transakcji (oznaczonego jako TAU) przedstawiono na slajdzie. Jest to para: zbiór operacji wszystkich transakcji należących do zbioru TAU i relacja częściowego porządku na zbiorze operacji należących do transakcji ze zbioru TAU. Dla dowolnej pary operacji oi, oj należących do zbioru operacji transakcji ze zbioru ? takich, że żądają one dostępu do tej samej danej i co najmniej jedna z nich jest operacją zapisu, zachodzi oi < r oj lub oj < r oi .
