Professional Documents
Culture Documents
Page 1 of 8
Page 2 of 8
Page 3 of 8
Page 4 of 8
Page 5 of 8
Page 6 of 8
Page 7 of 8
Page 8 of 8
View Serializability
Two schedules S1 and S2 over the same set of transactions, are view equivalent if 1. If Ti reads the initial value of object A in S1, it must also read the initial value of A in S2. 2. If Ti reads a value of A written by Tj in S1, it must also read the value of A written by Tj in S2. 3. For each data object A, the transaction that performs the final write on A in S1 must also perform the final write on A in S2. * A schedule is view serializable if it is view equivalent to some serial schedule. * Every conflict serializable schedule is view serializable; but the converse is not true. * Any view serializable schedule that is not conflict variable contains a blind write.
Recoverability:
If a transaction Ti fails, for whatever reason, we need to undo the effect of this transaction to ensure the atomicity property of the transaction. In a system that allows concurrent execution, it is necessary also to ensure that any transaction Tj that is dependent on Ti (that is, Tj has read data written by Ti) is also aborted. To achieve this surety, we need to place restrictions on the type of schedules permitted in the system. A recoverable schedule is one where, for each pair of transactions Ti and Tj such that Tj reads a data item previously written by Ti, the commit operation of Ti appears before the commit operation of Tj .