CREATE TABLE dept_info
 (dname CHAR(3),
  num_classes INTEGER,
  max_enroll INTEGER );