Stellar Repair for MySQL