integrity rule validator and generator added