Detecting and Preventing Program Inconsistencies under Database Schema Evolution | IEEE Conference Publication | IEEE Xplore