SQL SERVER 之 with check option 功能

student表：
95001 李勇 男 20 CS 
95002 刘晨 女 21 IS 
95003 王敏 女 18 MA 
95004 张力 男 19 IS 


建立视图IS_STUDENT显示“IS”系所有学生的学号、姓名、性别。
create view IS_STUDENT
as
select Sno,Sname,Ssex
from Student
where Sdept='IS'
with check option;

用insert语句向视图中插入元组（'95009','王五','男'），查看基本表student表中插入的数据值。



问题：：当没有加上with check option 的时候，可以成功插入，切插入到基本表的年龄和专业都是null。
  当加上with check ooption 的时候，就插入失败了，这是怎么回事？麻烦详解一下

下面是失败的消息：
消息 550，级别 16，状态 1，第 1 行
试图进行的插入或更新已失败，原因是目标视图或者目标视图所跨越的某一视图指定了 WITH CHECK OPTION，而该操作的一个或多个结果行又不符合 CHECK OPTION 约束。
语句已终止

解答：

with check option可以这么解释：通过视图进行的修改，必须也能通过该视图看到修改后的结果。比如你insert，那么加的这条记录在刷新视图后必须可以看到； 如果修改，修改完的结果也必须能通过该视图看到；如果删除，当然只能删除视图里有显示的记录。 

--->而你只是查询出 sdept='is'的纪录，你插入的根本不符合sdept='is'呀，所以就不行默认情况下，由于行通过视图进行添加或更新，当其不再符合定义视图的 查询的条件时，它们即从视图范围中消失。例如，可创建一个查询，从而定义一个视图以在表中检索所有员工薪水低于 $30,000 的行。如果该员工的薪水涨到了 $32,000，则查询视图时该特定员工将不再出现，因其薪水不符合视图所设的标准。但是，WITH CHECK OPTION 子句强制所有数据修改语句均根据视图执行，以符合定义视图的 SELECT 语句中所设的条件。如果使用该子句，修改行时需考虑到不让它在修改完后从视图中消失。任何可能导致行消失的修改都会被取消，并显示错误信息。