Model-Based Proactive Read-Validation in Transaction Processing Systems