mysql to txt files columns and rows change attributes of text file change file rename change file name mysql editing changing text file case mysql to text exporter mysql query editor rows and columns saving mysql as text file mysql frontend efficient operations export mysql to text mysql editor change case in mysql database cost efficient operations trace monitor file change query database frontend code editor