![• R3(X) and W2(X) [ T3 -> T2 ]
• W1(Y) and R3(Y) [ T1 -> T3 ]
• W1(Y) and W2(Y) [ T1 -> T2 ]
• R3(Y) and W2(Y) [ T3 -> T2 ]
• Constructing the precedence graph, we see there
are no cycles in the graph. Therefore, the
schedule is Conflict Serializable.
Two operations are said to be conflicting if
the belong to different transaction, operate
on same data and at least one of them is a
write operation.](https://image.slidesharecdn.com/serializability-220704121201-830557af/85/Serializability-14-320.jpg)
Serializability
- 2. Serializability is a concept that helps us to check which schedules are serializable. why we need this? A serializable schedule is the one that always leaves the database in consistent state. Types of Schedules in DBMS • Serial schedules • Non-Serial. schedules A transaction is executed completely before starting the execution of another transaction. The serial schedule where one transaction must wait for another to complete all its operation This type of execution of transaction is also known as non-interleaved execution.
- 3. Here R refers to the read operation and W refers to the write operation. In this example, the transaction T2 does not start execution until the transaction T1 is finished. T1 T2 ---- ---- R(A) R(B) W(A) commit R(B) R(A) W(B) commit A serial schedule doesn’t allow concurrency, only one transaction executes at a time and the other starts when the already running transaction finished.
- 4. In the non-serial schedule, the other transaction proceeds without waiting for the previous transaction to complete A type of Scheduling where the operations of multiple transactions are interleaved. When multiple transactions are running concurrently then there is a possibility that the database may be left in an inconsistent state. Non-serial schedule may leave the database in inconsistent state so we need to check these non-serial schedules for the Serializability. The Non-Serial Schedule can be divided further into 1. Serializable and 2. Non-Serializable.
- 5. A serializable schedule is the one that always leaves the database in consistent state. This is used to maintain the consistency of the database. It is mainly used in the Non-Serial scheduling to verify whether the scheduling will lead to any inconsistency or not. A serial schedule is always a serializable schedule because in serial schedule, a transaction only starts when the other transaction finished execution. However a non-serial schedule needs to be checked for Serializability. If a schedule of concurrent ‘n' transactions can be converted into an equivalent serial schedule. Then we can say that the schedule is serializable. And this property is known as serializability.
- 6. (a) If two transactions only read a data item, they do not conflict and order is not important. (b) If two transactions either read or write separate data items, they do not conflict and order is not important. (c) If one transaction writes a data item and another reads or writes same data item, order of execution is important. Serializability is the concept in a transaction that helps to identify which non- serial schedule is correct and will maintain the database consistency.
- 7. In above precedence graph of schedule S, contains two vertices T1 and T2, and a single edge T1? T2, because all the instructions of T1 are executed before the first instruction of T2 is executed. If a precedence graph for any schedule contains a cycle, then that schedule is non-serializable. If the precedence graph has no cycle, then the schedule is serializable. So, schedule S is serializable (i.e., serial schedule) because the precedence graph has no cycle.
- 8. In above precedence graph of schedule S1, contains two vertices T1 and T2, and edges T1? T2 and T2? T1. In this Schedule S1, operations of T1 and T2 transaction are present in an interleaved manner. The precedence graph contains a cycle, that’s why schedule S1 is non-serializable.
- 9. A type of serializability that can be used to check whether the given schedule is view serializable or not. A schedule called as a view serializable if it is view equivalent to a serial schedule. View Equivalent Two schedules S1 and S2 are said to be view equivalent if both satisfy the following conditions: 1. Initial read An initial read of the data item in both the schedule must be same. For example, lets two schedule S1 and S2. If transaction T1 reads the data item A in schedule S1, then in schedule S2 transaction T1 also reads A. the first read operation on a data item,
- 10. 2. Final Write: Final write operations on each data item must match in both the schedules. For example, a data item X is last written by Transaction T1 in schedule S1 then in S2, the last write operation on X should be performed by the transaction T1. 3. Update Read: If in schedule S1, the transaction T1 is reading a data item updated by T2 then in schedule S2, T1 should read the value after the write operation of T2 on same data item.
- 11. As we know that in Serial schedule a transaction only starts when the current running transaction is finished. If we can prove that the given schedule is View Equivalent to its serial schedule then the given schedule is called view Serializable.
- 12. one of the type of Serializability, which can be used to check whether a non- serial schedule is conflict serializable or not. A schedule is called conflict serializable if we can convert it into a serial schedule after swapping its non-conflicting operations. Conflicting operations Two operations are said to be in conflict, if they satisfy all the following three conditions: 1. Both the operations should belong to different transactions. 2. Both the operations are working on same data item. 3. At least one of the operation is a write operation.
- 13. Example 1: Operation W(X) of transaction T1 and operation R(X) of transaction T2 are conflicting operations because they satisfy all the three conditions mentioned above. They belong to different transactions, they are working on same data item X, one of the operation in write operation. Example 2: Operations W(X) of T1 and W(Y) of T2 are non-conflicting operations because both the write operations are not working on same data item so these operations don’t satisfy the second condition.
- 14. • R3(X) and W2(X) [ T3 -> T2 ] • W1(Y) and R3(Y) [ T1 -> T3 ] • W1(Y) and W2(Y) [ T1 -> T2 ] • R3(Y) and W2(Y) [ T3 -> T2 ] • Constructing the precedence graph, we see there are no cycles in the graph. Therefore, the schedule is Conflict Serializable. Two operations are said to be conflicting if the belong to different transaction, operate on same data and at least one of them is a write operation.