Использование конструкции with check option

Пример

Пример:Использование опции WITH CHECK OPTION

Еще раз обратимся к представлению, созданному в примере "Создание горизонтального представления":

CREATE VIEW Manager3Staff

AS SELECT *

FROM Staff

WHERE branchNo = 'B003'

WITH CHECK OPTION;

Теперь попытаемся изменить значение номера отделения в любой из строк с 'В003' на 'B005' , например, с помощью следующего оператора:

UPDATE Manager3Staff

SET branchNo = 'BOO5'

WHERE staffNo = 'SG37';

Поскольку в определении представления была указана конструкция WITH CHECK OPTION, выполнение этого оператора будет заблокировано, так как в противном случае произойдет миграция строки из данного горизонтального представления. Таким образом, не будет иметь успеха и попытка выполнения следующего оператора:

INSERT INTO Manager3Staff

VALUES('SL15', 'Mary', 'Black', 'Assistant', 'F' ,

DATE '1967-06-21', 8000, 'B002');

Поскольку в определении представления указана конструкция WITH CHECK OPTION, ввод указанной строки в данное представление будет заблокирован, так как сразу после помещения ее в исходную таблицу Staff она должна будет немедленно исчезнуть из данного представления (отделение 'В002' не принадлежит к области определения представления).

А теперь рассмотрим ситуацию, когда представление МападегЗ Staff создается не на базе самой таблицы Staff, а на базе другого представления, созданного для этой таблицы.

CREATE VIEW LowSalary

AS SELECT *

FROM Staff

WHERE salary > 9000;

CREATE VIEW HighSalary

AS SELECT *

FROM LowSalary

WHERE salary > 10000

WITH LOCAL CHECK OPTION;

CREATE VIEW Manager3Staff

AS SELECT *

FROM HighSalary

WHERE branchNo = 'B0031';

Теперь попытаемся выполнить в представлении Manager3Staff следующий оператор:

UPDATE Manager3Staff

SET salary = 9500

WHERE staffNo = 'SG37';

Однако это нам не удастся. Дело в том, что после выполнения данного оператора измененная строка исчезнет только из представления HighSalary, но сохранится в представлении LowSalary, на базе которого сформировано представление HighSalary. Если же при обновлении установить новое значение заработной платы равным 8 000 фунтов стерлингов, то эта операция будет успешной, поскольку измененная строка должна будет исчезнуть и из представления LowSalary. Если же при определении представления HighSalary указать конструкцию WITH CASCADED CHECK OPTION, то при указании любого из упомянутых значений заработной платы (как 9 500, так и 8 000 фунтов стерлингов в год) выполнение данного обновления будет заблокировано, поскольку измененная строка должна будет исчезнуть из представления HighSalary. Следовательно, для того чтобы получить гарантию, что подобные аномалии обновления никогда не будут иметь места, каждое из создаваемых представлений должно содержать конструкцию WITH CASCADED CHECK OPTION.