AutoIncrementPK in metamodel, action for checking correctness, DBMSs in prefereces page