视图更新要守恒

视图更新并非天然不可能；失败通常来自违反黄金法则或赋值原理。WITH CASCADED CHECK OPTION 能阻止插入后从视图中“消失”的行，是维护视图语义的基本防线。