CREATE TABLE WORKS
  (EMPNUM   CHAR(3) NOT NULL,
   PNUM     CHAR(3) NOT NULL,
   HOURS    DECIMAL(5) AUTO_INCREMENT,
   UNIQUE(EMPNUM,PNUM));