Learned Stored Procedure in MySQL