migration.execute updated with constraints synchronization