Database: professional_basketball
Question: Who are the coaches for team with winning rate of 80% and above?
SQL: SELECT coachID FROM coaches GROUP BY tmID, coachID, won, lost HAVING CAST(won AS REAL) * 100 / (won + lost) > 80