BD-2st-1.2-w08.tresc-1.1-Slajd36
Realizacje uszeregowalne
Przedstawiona, na poprzednich slajdach, definicja kryterium konfliktowej uszeregowalności stanowi zmodyfikowaną wersję podstawowego kryterium poprawności współbieżnej realizacji transakcji, które nosi nazwę kryterium uszeregowalności. Zasadnicza różnica pomiędzy definicją kryterium uszeregowalności a kryterium konfliktowej uszeregowalności kryje się w definicji równoważności realizacji transakcji. Formalnie, definicja kryterium uszeregowalności brzmi następująco: realizacja r(T) zbioru transakcji T jest poprawna (uszeregowalna), jeżeli jest ona obrazowo i stanowo równoważna jakiejkolwiek sekwencyjnej realizacji zbioru transakcji T. Realizację r(T), spełniającą zdefiniowane powyżej kryterium, nazywamy realizacją uszeregowalną (należy do klasy SR). Jak łatwo zauważyć, równoważność konfliktowa realizacji została zastąpiona w kryterium uszeregowalności równoważnością obrazową i stanową realizacji. Kryterium uszeregowalności ma charakter bardziej egzystencjalny, jest natomiast mało przydatne w sensie konstrukcyjnym.
