MySQL :: MySQL 8.0 Reference Manual :: 17.11.4 Defragmenting a Table