What is "Strict recoverable" schedule?

Question

Consider the following schedule:

$S: r_1(A), w_2(A), Commit_2, w_1(A),w_3(A), Commit_3, Commit_1$

Which of the following is true?
a. Schedule is view serializable schedule and strict recoverable schedule
b. Schedule is non serializable schedule and strict recoverable schedule
c. Schedule is non serializable schedule and not strict recoverable schedule
d. Schedule is serializable schedule and not strict recoverable schedule

What is the answer? Also I know what is "strict schedule" and "recoverable schedule", But then what it means by "strict recoverable"?

Comments

strict recoverable means if their is two transaction let t1,t2....let t1 perform write operation w1(a)

after t2 perform write operation before t1 commit it not be strict recoverable ..

Answer 1

First of all it is a view serialisable schedule as it  has view equal serial schedule T1 : T2 : T3 which satisfies the initial and updated reads and final write on variable A which is required for view serialisability.

So now coming to strict recoverability.A schedule is said to be strict recoverable iff :

If   say T_i   writes before T_j  writes or reads, then T_j must read or write after T_i  commits or aborts then only the schedule will be strict recoverable.

Now we  can see there is write - write pair done by transactions T₁  followed by T₃  which is violating the above mentioned condition as T₃  is supposed to do write operation only after T₁ commits which is not happening in the given schedule..

Hence the given schedule is serialisable but not strict recoverable.Hence the correct option is D) 

Comments

@Shaik Masthan  Is this correct? As initial read is 100 (done by T1) and final write is 400 (done by T3)

T1:T2:T3

---

YES,it is correct !

---

Source: https://en.wikipedia.org/wiki/Schedule_(computer_science)#Strict

A schedule is strict - has the strictness property - if for any two transactions T1, T2, if a write operation of T1 precedes a conflicting operation of T2 (either read or write), then the commit or abort event of T1 also precedes that conflicting operation of T2.

Any strict schedule is cascade-less, but not the converse. Strictness allows efficient recovery of databases from failure.

Answer 2

Strict recoverable means when write to read /write sequence present in two different transaction then first transaction which write is commit then only another transaction read/ write it .

Here it is not strict recoverable since Transaction1 write(A) is not commit and Transaction3 write(A) is done so not strict recoverable.

Schedule is not conflict serializable and thier is blind write so yes view seriablizable ( Serializable).

D is answer.

Comments

if it's not CSS & if blind write is present then it's view serializable?? this is any rule??

---

^ not necessarily.

But if It is not CSS and there is no BLIND WRITE, then definitely it is not view-serializable.

---

Hii, can you please tell me how it different from strict schedule