Who are the coaches for team with winning rate of 80% and above?
winning rate of 80% and above refers to Divide (won, Sum(won, lost)) > 0.8; coaches refers to coachID
SELECT coachID FROM coaches GROUP BY tmID, coachID, won, lost HAVING CAST(won AS REAL) * 100 / (won + lost) > 80