Migrator
Migrator is a prototype for synthesizing database programs for schema refactoring.
Publication
- Yuepeng Wang, James Dong, Rushi Shah, Isil Dillig.
Synthesizing Database Programs for Schema Refactoring. PLDI 2019
Dependencies
- Java 8
- Ant 1.10.3
- Z3 4.8.5
Build
Migrator can be built with Ant
ant jar
Usage
After building the tool, you can use Migrator in the following way
./migrator.sh -srcSchema <srcSchemaFile> -tgtSchema <tgtSchemaFile> -srcProg <srcProgFile> -output <outputFile> [optional arguments]
For example, you can try the following command in the root directory of this repo.
./migrator.sh -srcSchema benchmarks/bench1/src-schema.txt -tgtSchema benchmarks/bench1/tgt-schema.txt -srcProg benchmarks/bench1/src-prog.txt -output tgt-prog.txt
Tests
The tests of Migrator are built and executed with Ant
ant test