Simplified workflow

In essence the logic of transactional-update can be summarized as follows: