Ссылочная целостность

База данных обладает ссылочной целостностью, если она не содержит значений внешних ключей, которым не соответствует значение первичного ключа.

Удаление в ссылающемся отношении никогда не нарушает ссылочную целостность.

Проверить ссылочную целостность в момент добавления или коррекции ссылающегося отношения не является сложным. Вся сложность лишь в предоставлении возможности добавить кортеж в ссылочное отношение из среды работы с ссылающимся отношением.

Добавление в ссылочное отношение никогда не нарушает ссылочную целостность.

Т.о. проблемы проверки ссылочной целостности возникают лишь при удалении и корректировки ссылочного отношения.

Если при выполнении этих операций нарушается ссылочная целостность, то используют две основные стратегии.

- операции, нарушающие целостность, отвергнуть;

- изменить ссылающееся отношение, чтобы целостность не нарушили. При этом возможно потребуется откорректировать несколько отношений. Этот процесс называется каскадированием.

Пример: удалить или изменить кортежи ссылающейся базы.

При этом 2-й вариант реализации возможен при организации диалога с пользователем (предложить изменить ссылающиеся отношения, удаляемая запись перенести в архив и т.д.).

Особая сложность возникает при наличии ссылочных циклов. Возможно, проверку ссылочной целостности следует отложить до момента фиксации транзакции.

3.1.Правило целостности объекта. Первичные ключи и Null значения. Предпосылки введения правила.

Вместе с понятием первичного ключа модель включает правило целостности объекта, которое заключается в следующем:

Ни один элемент первичного ключа базового отношения не может быть Null – значением.

Предпосылки введения такого правила следующие:

- кортежи базового отношения соответствует объектам реального мира;

- объекты реального мира различны (т.е. некоторым образом опознаваемы);

- значит, должны быть различимы представления реального мира, т.е. кортежи базового отношения.

Если первичный ключ или его часть имеет Null – значение ® идентичность объекту теряется.

В реляционной базе данных мы никогда не записываем информацию о чём – то, чего мы не можем идентифицировать.

Проблема использования Null – значений до конца ещё не решена. Введение и поддержка этого правила имеет несколько противоречий.

Пример: допустим, что в базе AUTO мы ввели понятие Null – значение для атрибута код_ цвета. Составим список цветов автомобилей. В этом списке (отношении) возможно, будет значение – цвет не определён. Наш запрос не является базовым отношением. И для него требования целостности объекта может не применяться. Но что возникнет, если результат запроса мы сохраним как базовое отношение. Такое отношение состоит только из одного атрибута – цвет, которое должно быть первичным ключом.

Альтернативной стратегией Null – значениям является использование значений по – умолчанию.

1.2.Внешние ключи и Null – значения.

Не вызывает особых сомнений, что внешние ключи могут принимать Null – значения.

Пример: если рассмотреть самоссылающееся отношения <сотрудники>, в котором есть атрибут <код_начальника>, то у президента компании это атрибут содержит Null – значение. Т.о. понятие внешнего ключа должно быть дополнено возможностью принимать значение Null.

Следовательно определение внешнего ключа должно быть расширено:

Пусть R2 – базовое отношение. Тогда внешний ключ FK в отношении R2 – это подмножество множества атрибутов R2, такое что:

1) Существует базовое отношение R1 (R1 и R2 не обязательно различны) с потенциальным ключом СК.

2) Всегда каждое значение FK в текущем значении R2 или является Null – значением, или совпадает со значением СК некоторого кортежа в текущем значении R1

Возможность включения или не включения Null – значений в первичные и внешние ключи регулируются соответствующими опциями операторов языка определения БД.

Замечание: Допустимость принятия Null – значения для внешнего ключа решает (каким – то образом) проблему ссылочной целостности.

Пример: при удалении некоторого цвета из справочника цветов достаточно у автомобилей (база AUTO), у которых был удаляемый цвет, установить цвет в Null.

Дата добавления: 2014-01-05