retagged by
333 views
1 votes
1 votes
S:- R1(x) R1(y) W1(x) R2(z) R2(y) W3(y) R2(y)

Schedule is view Serializable or not ?
retagged by

1 Answer

0 votes
0 votes

It is View Serializable T1->T3->T2

 

                  $T_{1}$                        $T_{2}$          $T_{3}$
                $R_{1}(x)$    
                $R_{1}(y)$    
                $W_{1}(x)$                  
                  $R_{2}(z)$  
                  $R_{2}(y)$  
                   $W_{3}(y)$
                $R_{2}(y)$            

 

 

  A B C
$Initial$ $Read$ $R_n(x)$  $T_{1}$  $T_{1}$,$T_{2}$ $T_{2}$
$Update$ $Write$ $R_n(x)$  $T_{1}$ $T_{3}$ -
$Final$ $Write$ $R_n(x)$  $T_{1}$ $T_{3}$ -

 

$T1->T3->T2$ has same {$W-R$} Conflict as in given Schedule

                  $T_{1}$                        $T_{2}$          $T_{3}$
                $R_{1}(x)$    
                $R_{1}(y)$    
                $W_{1}(x)$                  
                   $W_{3}(y)$
                $R_{2}(z)$  
                $R_{2}(y)$  
                $R_{2}(y)$            

Related questions

0 votes
0 votes
1 answer
1
abhinowKatore asked Sep 8, 2022
257 views
If a schedule is not conflict-serializable. Is it serializable?
0 votes
0 votes
1 answer
2
atulcse asked Nov 2, 2021
433 views
Can a schedule be serializable if it is not view serializable? Are conflict equivalence and view equivalence the only two ways to decide if a schedule is serializable?
2 votes
2 votes
0 answers
4
susgir2 asked Dec 31, 2018
536 views
My question, does abort in T2 makes this schedule conflict serializable? as the effect of T2 will be null. T1: Rx T2: Wx T1: Wx T2: ABORT T1: COMMITRx – read item x.Wx...