视图谓词派生

视图的谓词由定义表达式派生，例如限制视图等于基谓词再与限制条件相与。理解视图谓词，能判断视图列是否多余、更新是否合理、CHECK OPTION 是否必要。