Управление проектами - статьи



              

Понятие корректной транзакции - часть 2


При этом не требуется, чтобы каждое действие tk
T или некоторые группы действий tk1, tk2,…, tkn
T перманентно сохраняли целостность данных во время выполнения транзакции.

Для применения каждое действие корректной транзакции должно удовлетворять соответствующему предусловию. Поскольку действия в транзакциях не подчиняются коммутативным свойствам, порядок их применения существенен как для выполнения предусловий, так и для конечных результатов. Поэтому вводимое понятие корректной транзакции предполагает выполнимость всех определенных предусловий для действий и учитывает порядок их следования. В дальнейшем рассматриваются только корректные транзакции за исключением, естественно, некоторых временных представлений журналов.

Теперь определим возможные виды отношений между операциями. Временный журнал транзакции T = T'

T'' - это упорядоченное множество действий, полученное путем объединения журналов реконсилируемых транзакций T' и T'', причем если x - начальное состояние данных и x' и x'' - расходящиеся реплики, то x' = T'(x) и x'' = T''(x).




Содержание  Назад  Вперед