Modeling and Managing Uncertainty in Concurrent Database Transactions