CREATE TABLE course (course_id CLOB, title CLOB, dept_name CLOB, credits NUMBER)
CREATE TABLE takes (id CLOB, course_id CLOB, sec_id CLOB, semester CLOB, year NUMBER, grade CLOB)
CREATE TABLE student (id CLOB, name CLOB, dept_name CLOB, tot_cred NUMBER)
CREATE TABLE classroom (building CLOB, room_number CLOB, capacity NUMBER)
CREATE TABLE prereq (course_id CLOB, prereq_id CLOB)
CREATE TABLE department (dept_name CLOB, building CLOB, budget NUMBER)
CREATE TABLE section (course_id CLOB, sec_id CLOB, semester CLOB, year NUMBER, building CLOB, room_number CLOB, time_slot_id CLOB)
CREATE TABLE teaches (id CLOB, course_id CLOB, sec_id CLOB, semester CLOB, year NUMBER)
CREATE TABLE advisor (s_id CLOB, i_id CLOB)
CREATE TABLE instructor (id CLOB, name CLOB, dept_name CLOB, salary NUMBER)
CREATE TABLE time_slot (time_slot_id CLOB, day CLOB, start_hr NUMBER, start_min NUMBER, end_hr NUMBER, end_min NUMBER)

What are the names of students who have taken Statistics courses?
SELECT T3.name FROM course AS T1 JOIN takes AS T2 ON T1.course_id = T2.course_id JOIN student AS T3 ON T2.id = T3.id WHERE T1.dept_name = 'Statistics'
SELECT "T3"."name" FROM "course" "T1" JOIN "takes" "T2" ON "T1"."course_id" = "T2"."course_id" JOIN "student" "T3" ON "T2"."id" = "T3"."id" WHERE "T1"."dept_name" = 'Statistics'