[Ur] Calculate difference between old and new database schemas

Adam Chlipala adamc at csail.mit.edu
Thu Jun 18 12:13:35 EDT 2015


I'd be interested in a tool like that myself, and presumably it needn't 
be at all specific to Ur/Web, so I'd hope we could bootstrap off of 
somebody else's careful work.

On 06/18/2015 09:41 AM, Sergey Mironov wrote:
> Hi. Lets say that Ur/Web application uses the database created by the
> App.sql script.   After some period of time, we updated the new
> version of application with new DB schema. Lets call it App'.sql. Is
> there a tool that may calculate the difference between App.sql and
> App'.sql? I assume that Diff.sql should contain ALTER TABLE
> instructions, probably DROP TABLE/CREATE TABLE instructions.



More information about the Ur mailing list