我们如何使用视图来模拟CHECK CONSTRAINT?