An Automatic Framework for Detecting Normalization Flaws in Databases