Question: Consider the following graph-based locking protocol, which allows only exclusive lock modes, and which operates on data graphs that are in the form of a
Consider the following graph-based locking protocol, which allows only exclusive lock modes, and which operates on data graphs that are in the form of a rooted directed acyclic graph.
• A transaction can lock any vertex first.
• To lock any other vertex, the transaction must be holding a lock on the majority of the parents of that vertex. Show that the protocol ensures serializability and deadlock freedom.
Step by Step Solution
3.49 Rating (176 Votes )
There are 3 Steps involved in it
The proof is in Kedem and Silb... View full answer
Get step-by-step solutions from verified subject matter experts
Document Format (1 attachment)
16-CS-DB (336).docx
120 KBs Word File
