5、在已有数据库基础上，创建后触发型触发器。约束每个学生在选某课之前，必须选修其先行课。并测试。

假设我们有一个学生选课的数据库，其中包含了以下几个表：

1. 学生表（student），包含学生的姓名和学号。
2. 课程表（course），包含课程的名称和编号。
3. 选课表（selection），包含学生选课的记录，包括学生的学号、课程的编号和成绩。

现在需要创建一个触发器，用于约束每个学生在选某课之前，必须选修其先行课。具体实现如下：

-- 创建一个触发器，用于在插入选课记录之前检查先行课是否已经修完
CREATE TRIGGER check_prerequisite
BEFORE INSERT ON selection
FOR EACH ROW
BEGIN
  -- 获取当前学生的学号和所选课程的编号
  DECLARE stu_id INT;
  DECLARE course_id INT;
  SET stu_id = NEW.student_id;
  SET course_id = NEW.course_id;
  
  -- 查询该课程的先行课程是否都已经修完
  IF NOT EXISTS (
    SELECT * FROM course_prerequisite
    WHERE course_id = course_id AND prerequisite_id NOT IN (
      SELECT course_id FROM selection
      WHERE student_id = stu_id AND course_id IN (
        SELECT prerequisite_id FROM course_prerequisite
        WHERE course_id = course_id
      )
    )
  ) THEN
    SIGNAL SQLSTATE '45000' SET MESSAGE_TEXT = 'Prerequisite course not taken.';
  END IF;
END;

上述触发器中，我们首先获取当前插入记录的学生学号和所选课程编号，然后在课程先行表中查询该课程的先行课程是否都已经修完。如果存在未修完的先行课，就会抛出一个 SQLSTATE 错误，阻止插入操作。

我们还需要创建一个课程先行表（course_prerequisite），用于记录每个课程的先行课程。具体实现如下：

CREATE TABLE course_prerequisite (
  course_id INT NOT NULL,
  prerequisite_id INT NOT NULL,
  PRIMARY KEY (course_id, prerequisite_id),
  FOREIGN KEY (course_id) REFERENCES course (id),
  FOREIGN KEY (prerequisite_id) REFERENCES course (id)
);

最后，我们需要测试一下触发器是否生效。假设我们有以下几条记录：

INSERT INTO student (name, id) VALUES ('Alice', 1);
INSERT INTO course (name, id) VALUES ('Math', 1), ('Physics', 2), ('Advanced Math', 3);
INSERT INTO course_prerequisite (course_id, prerequisite_id) VALUES (3, 1), (3, 2);

这些记录表示 Alice 是一个学号为 1 的学生，选修了数学、物理和高等数学三门课，其中高等数学的先行课程为数学和物理。

现在，我们尝试插入一条选课记录，让 Alice 选修高等数学，但是她还没有修完数学和物理。此时，触发器应该会阻止插入操作，并抛出一个错误：

INSERT INTO selection (student_id, course_id) VALUES (1, 3);
-- Output: ERROR 1644 (45000): Prerequisite course not taken.