CREATE TABLE BASE_WCOV (C1 INT);

CREATE VIEW WCOV AS SELECT * FROM BASE_WCOV WHERE
 C1 > 0 WITH CHECK OPTION
 
/*e*/INSERT INTO WCOV VALUES (0);
/*u1*/INSERT INTO WCOV VALUES (75);
/*e*/UPDATE WCOV  SET C1 = -C1 WHERE C1 = 75;

delete from BASE_WCOV;

CREATE VIEW WCOV1 AS SELECT * FROM WCOV WITH LOCAL CHECK OPTION;
/*u1*/INSERT INTO WCOV1 VALUES (0);
/*u1*/INSERT INTO WCOV1 VALUES (75);
/*u1*/UPDATE WCOV1  SET C1 = -C1 WHERE C1 = 75;

delete from BASE_WCOV;

CREATE VIEW WCOV2 AS SELECT * FROM WCOV WITH CASCADED CHECK OPTION;
/*e*/INSERT INTO WCOV2 VALUES (0);
/*u1*/INSERT INTO WCOV2 VALUES (75);
/*e*/UPDATE WCOV2  SET C1 = -C1 WHERE C1 = 75;