The check constraint solution isn't a solution to the concurrency issue: it only prevents a negative balance. The balance would still be wrong for the whole ra

The check constraint solution isn't a solution to the concurrency issue: it only prevents a negative balance. The balance would still be wrong for the whole range where balance > 0. Two (positive) deposits would not store the correct ending balance.