CREATE TABLE course (course_id CLOB, title CLOB, dept_name CLOB, credits NUMBER)
CREATE TABLE student (id CLOB, name CLOB, dept_name CLOB, tot_cred NUMBER)
CREATE TABLE takes (id CLOB, course_id CLOB, sec_id CLOB, semester CLOB, year NUMBER, grade CLOB)
CREATE TABLE department (dept_name CLOB, building CLOB, budget NUMBER)
CREATE TABLE classroom (building CLOB, room_number CLOB, capacity NUMBER)
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 section (course_id CLOB, sec_id CLOB, semester CLOB, year NUMBER, building CLOB, room_number CLOB, time_slot_id CLOB)
CREATE TABLE prereq (course_id CLOB, prereq_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)

How many instructors are in the department with the highest budget, and what is their average salary?
SELECT AVG(T1.salary), COUNT(*) FROM instructor AS T1 JOIN department AS T2 ON T1.dept_name = T2.dept_name ORDER BY T2.budget DESC LIMIT 1
SELECT AVG("T1"."salary"), COUNT(*) FROM "instructor" "T1" JOIN "department" "T2" ON "T1"."dept_name" = "T2"."dept_name" ORDER BY "T2"."budget" DESC FETCH FIRST 1 ROWS ONLY