CREATE TABLE player_college (player_id VARCHAR2, college_id VARCHAR2)
CREATE TABLE player (height NUMBER, player_id VARCHAR2)
CREATE TABLE college (college_id VARCHAR2, name_full VARCHAR2)

What is the average height of the players from the college named 'Yale University'?
SELECT AVG(T1.height) FROM player AS T1 JOIN player_college AS T2 ON T1.player_id = T2.player_id JOIN college AS T3 ON T3.college_id = T2.college_id WHERE T3.name_full = 'Yale University'
SELECT AVG("T1"."height") FROM "player" "T1" JOIN "player_college" "T2" ON "T1"."player_id" = "T2"."player_id" JOIN "college" "T3" ON "T2"."college_id" = "T3"."college_id" AND "T3"."name_full" = 'Yale University'