operation of mysql