schema sc_sg {
  model sql_6 {
    table:<<prof>>
    column:<<prof,pname>>
    column:<<prof,area>>
    primary_key:<<prof_pk,prof,<<prof,pname>>>>

    table:<<course>>
    column:<<course,cnumber>>
    column:<<course,title>>
    primary_key:<<course_pk,course,<<course,cnumber>>>>

    table:<<dept>>
    column:<<dept,dname>>
    primary_key:<<dept_pk,dept,<<dept,dname>>>>

    table:<<student>>
    column:<<student,sname>>
    column:<<student,dname>>
    primary_key:<<student_pk,student,<<student,sname>>>>
    foreign_key:<<majors_dept_fk,student,<<student,dname>>,dept,<<dept,dname>>>>
    table:<<worksin>>
    column:<<worksin,pname>>
    column:<<worksin,dname>>
    primary_key:<<worksin_pk,worksin,<<worksin,pname>>,<<worksin,dname>>>>
    foreign_key:<<worksin_prof_fk,worksin,<<worksin,pname>>,prof,<<prof,pname>>>>
    foreign_key:<<worksin_dept_fk,worksin,<<worksin,dname>>,dept,<<dept,dname>>>>

    table:<<teaches>>
    column:<<teaches,pname>>
    column:<<teaches,cnumber>>
    column:<<teaches,quarter>>
    column:<<teaches,evaluation>>
    primary_key:<<teaches_pk,teaches,<<teaches,pname>>,<<teaches,cnumber>>,<<teaches,quarter>>>>
    foreign_key:<<teaches_prof_fk,teaches,<<teaches,pname>>,prof,<<prof,pname>>>>
    foreign_key:<<teaches_course_fk,teaches,<<teaches,cnumber>>,course,<<course,cnumber>>>>

    table:<<registered>>
    column:<<registered,sname>>
    column:<<registered,cnumber>>
    column:<<registered,quarter>>
    primary_key:<<registered_pk,registered,<<registered,sname>>,<<registered,cnumber>>,<<registered,quarter>>>>
    foreign_key:<<registered_student_fk,registered,<<registered,sname>>,student,<<student,sname>>>>
    foreign_key:<<registered_course_fk,registered,<<registered,cnumber>>,course,<<course,cnumber>>>>

    table:<<advises>>
    column:<<advises,pname>>
    column:<<advises,sname>>
    primary_key:<<advises_pk,advises,<<advises,pname>>,<<advises,sname>>>>
    foreign_key:<<advises_prof_fk,advises,<<advises,pname>>,prof,<<prof,pname>>>>
    foreign_key:<<advises_student_fk,advises,<<advises,sname>>,student,<<student,sname>>>>
  }
}
