CREATE DOMAIN 成績 INTEGER
CHECK (VALUE BETWEEN 0 AND 100)
CREATE TABLE 履修
( 科目番号 CHAR(3) NOT NULL,
学籍番号 CHAR(5) NOT NULL,
成績 INTEGER,
PRIMARY KEY(科目番号,学籍番号),
FOREIGN KEY(科目番号) REFERENCES 科目(科目番号),
FOREIGN KEY(学籍番号) REFERENCES 学生(学籍番号))
別途定義してもよい
成績ドメインを定義したので
CHECK (成績 BETWEEN 0 AND 100) は不要