DROP INDEX eye.eye_frame_no_width_index;

ALTER TABLE eye.frame ALTER COLUMN width SET NOT NULL;
ALTER TABLE eye.frame ALTER COLUMN height SET NOT NULL;

ALTER TABLE eye.frame ADD CONSTRAINT eye_frame_size_check CHECK (width > 0 AND height > 0);