Ограничения целостности

• 
  Язык SQL используется для описания ограничений целостности.
  

1. 
   Первичный ключ (рассмотрен ранее).
   
2. 
   Внешний ключ = ограничения корректности ключей связанных таблиц.
   
3. 
   Проверки уровня атрибута и кортежа = ограничения внутри отношений
   
4. 
   SQL утверждения = глобальные ограничения.
   
5. 
   Oracle триггеры.
   

• 
  Используются в Oracle вместо SQL утверждений.
  

1. 
   При этом В должен быть первичным ключом в отношении S.
   

• 
  Другой способ – задать внешний ключ отдельным элементом при определении таблицы:
  

1. 
   Вставка или обновление кортежа из Sells приводит к появлению значения beer , несуществующего в Beers(name).
   
   • 
     Всегда отвергается
     

• 
  Удаление Bud из Beers приводит к удалению всех соответствующих Bud кортежей из Sells.
  
• 
  Обновление Bud -> Budweiser приводит к замене значений столбца beer отношения Sells с Bud на Budweiser.
  

• 
  Удаление Bud из Beers приводит к замене значений столбца beer всех соответствующих Bud кортежей из Sells с Bud на NULL.
  
• 
  Обновление Bud -> Budweiser приводит к тому же результату.
  

CREATE TABLE Sells (

• 
  Форма CHECK(условие)
  

• 
  Условие может включать проверяемый атрибут и другие атрибуты этого же кортежа,
  

• 
  Атрибуты других отношения могут использоваться в подзапросах,
  
• 
  Oracle: не разрешается использование подзапросов.
  

• 
  Условие проверяется только при изменении проверяемого атрибута (т.е. при вставке и обновлении)
  

• 
  Форма подобна условию на атрибут
  

• 
  Может использовать любые атрибуты кортежа и логические операции для формирования логического выражения
  

• 
  Может использовать атрибуты других отношений в подзапросах
  
• 
  Напоминание: Oracle запрещает использование подзапросов в условиях
  

• 
  Условие проверяется при вставке или обновлении кортежа
  

• 
  Ограничения уровня схемы базы данных (глобальные)
  
• 
  Не представлены в Oracle.
  
• 
  Проверяется при каждом изменении отношения, используемого в утверждении.
  
• 
  Синтаксис:
  

• 
  Событие = класс изменений в базе данных, например, «вставка кортежа в отношение Beers»
  
• 
  Условие = проверка условия, подобная проверке в опции WHERE, определяющая, будет ли отрабатывать триггер
  
• 
  Действие = один или несколько SQL операторов
  
• 
  Отличается от SQL утверждения тем, что система не должна определять, когда выполнять триггер, он активизируется событием
  
• 
  Отличается от CHECK тем что, может использовать условия, недопустимые в CHECK.
  

1. 
   Можно опустить OR REPLACE. Однако в этом случае существование триггера с таким именем вызовет ошибку, и старый триггер останется неизмененным.
   
2. 
   Вместо AFTER можно использовать BEFORE.
   
3. 
   В случае, когда отношение является представлением(VIEW), вместо AFTER можно использовать INSTEAD OF. Это позволяет провести модификацию представления путем модификации отношения, лежащего в его основе.
   
4. 
   Вместо INSERT может использоваться DELETE или UPDATE OF <атрибут>.
   
5. 
   FOR EACH ROW можно опустить. При этом действие будет выполнено только один раз для отношения.
   

• 
  Больше информации на WEB-странице курса (Использование Oracle PL/SQL)
  

• 
  Две специальных переменные new и old представляют новый и старый кортежи при изменении отношения.
  

• 
  old не имеет смысла при вставке, также как new – при удалении
  

• 
  в WHEN new и old используются без двоеточия, которое необходимо при описании действия.
  

• 
  Действие – это PL/SQL оператор
  

• 
  В простейшем виде – несколько SQL операторов, заключенных между BEGIN и END
  
• 
  Допускается лишь ограничение вида «SELECT-FROM-WHERE»
  

• 
  . и RUN вызывают запись триггера в базу данных
  

• 
  Oracle триггеры являются частью схемы базы данных вместе с таблицами и представлениями
  

• 
  важное ограничение Oracle: действие не может изменить отношение, изменение которого вызвало данный триггер
  

• 
  хуже того, действие не может даже изменить отношение, связанное с данным (изменение которого вызвало триггер) ограничением целостности, т.е. которое имеет внешний ключ ссылающийся на данное отношение.