mysql transaction theory