Восстанавливаемость графика

Question

Эм, привет, у меня есть вопрос о двух графиках и его способности к восстановлению. Я не уверен, понял ли я уроки и все определения, поэтому я был бы признателен, если бы кто-нибудь мог сказать мне, правильно ли я это сделал.

Первый график:

T1 T2 T3 
R1(x) 
     R2(x) 
W1(x) 
      R3(x) 
      W3(x) 
C1 
     C2 
      C3 

Это одна на мой взгляд возмещена, потому что T3, как и читает после T1 написал что-то, совершено после того, как T1.

Второй график:

T1 T2 T3 
     W2(x) 
R1(y) 
W1(y) 
      R3(x) 
      W3(x) 
C1 
      C3 
     C2 

Это один не возмещена, потому что T3 читает х после T2 написал что-то и Т3 совершены до Т2. Я не уверен, что T1 также делает это расписание не восстанавливаемым, но он читает y, а не x. Я прав? Опять же, я был бы признателен за ответ на этот вопрос.

Answer 1

Перейти к определению и показать, является ли он доволен:

Recoverable schedule:

Операции совершать только после того, как все сделки, чьи изменения, которые они читают, совершают.

Первый график:

• T1: не читает никаких изменений, поэтому совершает только после всех операций, чьи изменения, которые она читает фиксации.
• T2: Читает никаких изменений, поэтому совершает транзакции только после всех транзакций, изменения которых он читает.
• T3: Считывает измененный x, но фиксирует только после всех транзакций, чьи изменения он считывает.

Все транзакции фиксируются только после всех транзакций, изменения которых они совершают. Извлекаемые.

Второе расписание:

• T1: не читает никаких изменений, поэтому совершает только после всех операций, чьи изменения, которые она читает фиксации.
• T2: Читает никаких изменений, поэтому совершает транзакции только после всех транзакций, изменения которых он читает.
• T3: Считывает измененный x, но совершает перед всеми транзакциями, чьи изменения он считывает.

Не все транзакции совершаются только после всех транзакций, изменения которых они совершают. Не восстанавливается.