Three transactions are executing concurrently, as illustrated in Figure 20.21. Transaction T19 has a timestamp of ts(T19), T20 has a timestamp of ts(T20), and T21 has a timestamp of ts(T21), such that ts(T19) < ts(T20) < ts(T21). At time t8, the write by transaction T20 violates
the first write rule and so T20 is aborted and restarted at time t
14. Also at time t14, the write by transaction T19 can safely be ignored using the ignore obsolete write rule, as it would have been overwritten by the write of transaction T21 at time t12.