Constraint Databases Technology for Polynomial Models Diagnosis