The backend must make the read and increase operations atomic (not executing parts of one in the middle of the other).
This is to make sure the next operations are atomic:
The backend must make sure that the whole execution of these queries is atomic.
That is: we don't want an increase-operation to be executed sometime in the middle of
executing these read queries.
The backend must make the read and increase operations atomic (not executing parts of one in the middle of the other). This is to make sure the next operations are atomic: