Ecco come ho risolto:
Mi era sfuggito un piccolo dettaglio, cioe che il migration tool di mysql accetta qualunque dbms che fornisca un driver jdbc. Percio mi sono scaricato il driver jdbc.
Senonchè, durante la migrazione dei dati, il migration tool va in errore:
codice:
The SQL create statements could not be created (error: 0).
MigrationGeneric.dataBulkTransfer :Java heap space
Details:
java.util.Vector.ensureCapacityHelper(Unknown Source)
java.util.Vector.addElement(Unknown Source)
org.postgresql.core.v3.QueryExecutorImpl.processResults(QueryExecutorImpl.java:1318)
org.postgresql.core.v3.QueryExecutorImpl.execute(QueryExecutorImpl.java:192)
org.postgresql.jdbc2.AbstractJdbc2Statement.execute(AbstractJdbc2Statement.java:451)
org.postgresql.jdbc2.AbstractJdbc2Statement.executeWithFlags(AbstractJdbc2Statement.java:336)
org.postgresql.jdbc2.AbstractJdbc2Statement.executeQuery(AbstractJdbc2Statement.java:235)
com.mysql.grt.modules.MigrationGeneric.doDataBulkTransferTableToMysql(MigrationGeneric.java:1765)
com.mysql.grt.modules.MigrationGeneric.doDataBulkTransfer(MigrationGeneric.java:1552)
com.mysql.grt.modules.MigrationGeneric.dataBulkTransfer(MigrationGeneric.java:87)
sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
sun.reflect.NativeMethodAccessorImpl.invoke(Unknown Source)
sun.reflect.DelegatingMethodAccessorImpl.invoke(Unknown Source)
java.lang.reflect.Method.invoke(Unknown Source)
com.mysql.grt.Grt.callModuleFunction(Unknown Source)
Che vuol dire? Ho sforato l'heap del JRE?
In effetti sto importando una certa quantità di dati (non so quantificare con esattezza, ma il dump .sql di partenza, cioe il file di testo con ddl e insert_into è un malloppone di 600 mega)