BD-2st-1.2-w08.tresc-1.1-Slajd13
Model transakcji (1)
Formalny model transakcji przedstawiono na slajdzie. Transakcją Ti nazywamy uporządkowaną parę: <zbiór operacji na bazie danych, relacja częściowego porządku na zbiorze tych operacji>. Zbiór operacji zawiera: odczyt (R), zapis (W), zatwierdzenie transakcji (C), wycofanie transakcji (A).
W dalszej części wykładu będziemy stosowali następującą notację:
- ri(x) oznacza odczyt danej x przez i-tą transakcję;
- ri(x, wartość) oznacza odczyt danej x przez i-tą transakcję, przy czym 'wartość' jest aktualnie odczytaną wartością danej x;
- wi(x) oznacza zapis danej x przez i-tą transakcję;
- wi(x, wartość) oznacza zapis danej x przez i-tą transakcję, przy czym 'wartość' jest aktualnie zapisywaną wartością danej x;
- ci oznacza zatwierdzenie i-tej transakcji;
- ai oznacza wycofanie i-tej transakcji.
