This is great: Formally Modeling Database Migrations. I need more formal methods in my life.