mysql workbench details in appendix