Option is A
The Thomas Write rule is a rule in timestamp-based concurrency control.
Wait-die scheme is a non-preemptive technique for deadlock prevention.
A wait-for graph in computer science is a directed graph used for deadlock detection in operating systems and relational database systems.
Some systems facilitate deadlock recovery by implementing checkpoint and rollback.