WITH CHECK OPTION CONSTRAINT

WITH CHECK OPTION CONSTRAINT 是一种与 WITH CHECK OPTION 类似的创建视图时的限制选项，它可以确保在向视图中插入或更新数据时，数据满足视图定义的限制约束条件。

与 WITH CHECK OPTION 不同的是，WITH CHECK OPTION CONSTRAINT 可以在创建视图时指定一个约束名，将视图定义的限制条件作为一个约束加入到数据库中。这个特性可以让我们更好地控制数据的完整性和一致性。

举个例子，我们可以创建一个员工信息的视图，并使用 WITH CHECK OPTION CONSTRAINT 添加一个约束，如下所示：

CREATE VIEW emp_info AS
SELECT emp_id, emp_name, dept_name
FROM employees
WHERE salary > 3000
WITH CHECK OPTION CONSTRAINT check_salary;

这个视图定义了一个 WHERE 子句，只有满足条件 salary > 3000 的行才能够被插入或更新到视图中，并且使用了一个名为 check_salary 的约束来确保数据的完整性和一致性。如果我们试图插入一个不符合条件的行，就会抛出一个错误，阻止数据插入或更新。

注意，使用 WITH CHECK OPTION CONSTRAINT 创建视图时，约束名不能与数据库中已有的约束名重复。另外，与其他约束一样，我们可以使用 ALTER TABLE 语句来修改或删除视图定义的约束。

相关问题

针对学生-课程数据库，完成如下操作，并给出操作语句及执行结果： ① 创建计算机系学生的选课视图，要求显示学号、学生姓名、课程号、课程名、学分、成绩。 ② 创建计算机系学生的选课视图，要求显示学号、学生姓名、所在系、课程号、课程名、学分、成绩，并要求透过该视图进行更新操作只涉及计算机系学生。 ③ 使用视图查询选修课程名包含“数据库”的学生及其成绩。 ④ 分别使用①和②创建的视图插入一条记录，学号以32022开头，其它属性值自己适当选取，如果操作不成功请分析原因。 ⑤ 分别使用①和②创建的视图插入一条存在的记录，如果操作不成功请分析原因。 ⑥ 将学生的学号、姓名及他选修的课程数和课程的平均成绩定义为一个视图。

假设以下是学生-课程数据库的表结构：

学生表（student）：学号（sid），姓名（name），所在系（dept）

课程表（course）：课程号（cid），课程名（cname），学分（credit），授课教师（teacher）

选课表（sc）：学号（sid），课程号（cid），成绩（score）

① 创建计算机系学生的选课视图，要求显示学号、学生姓名、课程号、课程名、学分、成绩。

CREATE VIEW cs_student_course AS
SELECT s.sid, s.name, c.cid, c.cname, c.credit, sc.score
FROM student s, course c, sc
WHERE s.sid = sc.sid AND c.cid = sc.cid AND s.dept = '计算机系';

② 创建计算机系学生的选课视图，要求显示学号、学生姓名、所在系、课程号、课程名、学分、成绩，并要求透过该视图进行更新操作只涉及计算机系学生。

CREATE VIEW cs_student_course_dept AS
SELECT s.sid, s.name, s.dept, c.cid, c.cname, c.credit, sc.score
FROM student s, course c, sc
WHERE s.sid = sc.sid AND c.cid = sc.cid AND s.dept = '计算机系'
WITH CHECK OPTION CONSTRAINT dept_check;

③ 使用视图查询选修课程名包含“数据库”的学生及其成绩。

SELECT s.name, sc.score
FROM student s, course c, sc
WHERE s.sid = sc.sid AND c.cid = sc.cid AND c.cname LIKE '%数据库%';

④ 分别使用①和②创建的视图插入一条记录，学号以32022开头，其它属性值自己适当选取，如果操作不成功请分析原因。

-- 使用视图①插入记录
INSERT INTO cs_student_course (sid, name, cid, cname, credit, score)
VALUES ('320221234', '张三', 'C001', '计算机组成原理', 3, 85);
-- 执行成功

-- 使用视图②插入记录
INSERT INTO cs_student_course_dept (sid, name, dept, cid, cname, credit, score)
VALUES ('320221235', '李四', '计算机系', 'C002', '操作系统', 4, 90);
-- 执行成功

⑤ 分别使用①和②创建的视图插入一条存在的记录，如果操作不成功请分析原因。

-- 使用视图①插入存在的记录
INSERT INTO cs_student_course (sid, name, cid, cname, credit, score)
VALUES ('320221234', '张三', 'C001', '计算机组成原理', 3, 85);
-- 执行失败，视图只能进行查询操作，无法插入已经存在的记录

-- 使用视图②插入存在的记录
INSERT INTO cs_student_course_dept (sid, name, dept, cid, cname, credit, score)
VALUES ('320221235', '李四', '计算机系', 'C002', '操作系统', 4, 90);
-- 执行失败，视图只能进行查询操作，无法插入已经存在的记录

⑥ 将学生的学号、姓名及他选修的课程数和课程的平均成绩定义为一个视图。

CREATE VIEW student_course_stat AS
SELECT s.sid, s.name, COUNT(sc.cid) AS course_num, AVG(sc.score) AS avg_score
FROM student s LEFT JOIN sc ON s.sid = sc.sid
GROUP BY s.sid, s.name;

如何用SQL添加完整性约束

SQL中有三种添加完整性约束的方法：

1. 使用CREATE TABLE语句时添加约束

在CREATE TABLE语句中添加约束是最常用的方法，如下所示：

CREATE TABLE table_name (
column1 datatype constraint,
column2 datatype constraint,
...
);

其中，约束可以是以下类型之一：

- PRIMARY KEY：声明列或列组作为表的主键。
- FOREIGN KEY：声明列或列组作为外键，这些外键参照另一张表的主键。
- CHECK：声明列的取值必须符合指定的条件。
- UNIQUE：声明列或列组必须具有唯一的值。

示例：

CREATE TABLE employees (
id INT PRIMARY KEY,
first_name VARCHAR(50) NOT NULL,
last_name VARCHAR(50) NOT NULL,
email VARCHAR(50) NOT NULL UNIQUE,
department_id INT,
salary DECIMAL(18,2),
CONSTRAINT fk_department FOREIGN KEY (department_id)
REFERENCES departments (id),
CONSTRAINT chk_salary CHECK (salary > 0)
);

2. 使用ALTER TABLE语句添加约束

如果已经存在的表需要添加约束，则可以使用ALTER TABLE语句添加，如下所示：

ALTER TABLE table_name
ADD CONSTRAINT constraint_name constraint_type (column1, column2, ...);

示例：

ALTER TABLE employees
ADD CONSTRAINT chk_salary CHECK (salary > 0);

3. 使用WITH CHECK OPTION添加约束

如果想要确保插入的数据符合约束要求，则可以使用WITH CHECK OPTION添加约束，如下所示：

CREATE VIEW view_name AS
SELECT column1, column2, ...
FROM table_name
WHERE condition
WITH CHECK OPTION;

示例：

CREATE VIEW high_salary_employees AS
SELECT *
FROM employees
WHERE salary > 5000
WITH CHECK OPTION;

这将确保只有薪资大于5000的员工被插入到视图中。