I am doing the low-level design of a system. The system has a DB that stores some data. To make sure the DB is not going into an inconsistent state, I rely on the state of t
