Formally Modeling Database Migrations | Dark Hacker News