create table Professor (ssn text, profname text, status text);
insert into Professor values('1234', 'Smith', 'senior');
insert into Professor values('2345', 'Johson', 'senior');
insert into Professor values('3456', 'Williams', 'junior');
insert into Professor values('4567', 'Jones', 'junior');
insert into Professor values('5678', 'Davis', 'junior');
insert into Professor values('6789', 'Miller', 'senior');
insert into Professor values('7890', 'Wilson', 'junior');
insert into Professor values('8901', 'Garcia', 'senior');
insert into Professor values('9012', 'Rodgriguez', 'junior');
insert into Professor values('0123', 'Martinez', 'junior');
insert into Professor values('1235', 'Hernanadez', 'senior');
insert into Professor values('1238', 'Hernanadez', 'senior');
insert into Professor values('2238', 'Lopez', 'junior');
insert into Professor values('4238', 'Wang', 'senior');
insert into Professor values('5238', 'Li', 'junior');
insert into Professor values('6238', 'Zhang', 'junior');
insert into Professor values('7238', 'Liu', 'senior');


create table Course (crscode int, crsname text, credits int);
insert into Course values(12345, 'CSCI203', 4);
insert into Course values(22345, 'CSCI204', 4);
insert into Course values(32345, 'CSCI205', 3);
insert into Course values(42345, 'CSCI206', 4);
insert into Course values(52345, 'CSCI208', 4);
insert into Course values(62345, 'CSCI240', 2);
insert into Course values(72345, 'CSCI311', 3);
insert into Course values(82345, 'CSCI315', 4);
insert into Course values(92345, 'CSCI320', 4);
insert into Course values(23456, 'CSCI341', 3);
insert into Course values(33456, 'CSCI475', 2);
insert into Course values(43456, 'CSCI476', 4);
insert into Course values(53456, 'CSCI479', 3);

create table Taught (crsname text, semester text, ssn text);
insert into Taught values('CSCI203', 'S2007', '1234');
insert into Taught values('CSCI203', 'W2007', '2345');
insert into Taught values('CSCI203', 'F2006', '3456');
insert into Taught values('CSCI204', 'S2007', '1234');
insert into Taught values('CSCI204', 'W2007', '2345');
insert into Taught values('CSCI204', 'F2006', '3456');
insert into Taught values('CSCI205', 'S2007', '8901');
insert into Taught values('CSCI205', 'W2007', '7890');
insert into Taught values('CSCI205', 'F2006', '7238');
insert into Taught values('CSCI240', 'F2006', '7238');
insert into Taught values('CSCI311', 'F2006', '1235');
insert into Taught values('CSCI315', 'W2006', '9012');
insert into Taught values('CSCI479', 'S2007', '6238');

