CREATE TABLE player_college (player_id VARCHAR, college_id VARCHAR)
CREATE TABLE player (height INT, player_id VARCHAR)
CREATE TABLE college (college_id VARCHAR, name_full VARCHAR)

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" AS "T1" JOIN "player_college" AS "T2" ON "T1"."player_id" = "T2"."player_id" JOIN "college" AS "T3" ON "T2"."college_id" = "T3"."college_id" AND "T3"."name_full" = 'Yale University'