[Ur] Calculate difference between old and new database schemas

[Adam Chlipala]

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.