I want to migrate the mysql version , and know there is migration toolkit available for migration , if I use it to migrate mysql server , do I need to export data first , then input the data into the new mysql database ? how about the character set , is there any problem to migrate ? thx