Reasoning with constraints in Database Models