You can also automatically generate some migrations with a proof search in linear logic, the way the beam[1] project does.

[1] https://tathougies.github.io/beam/schema-guide/migrations/#a...