Целостность сущности и ссылок

Реляционное исчисление

Реляционное исчисление является прикладной ветвью формального механизма исчисления предикатов первого порядка.

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

Для определения картежей переменной используются оператор RANGE. Правильно построенная форма (ППФ) служит для выражения условий, накладываемых на картежные переменные. Основой ППФ являются простые сравнения, которые представляют собой операции сравнения скалярных значений, т.е. значений атрибутов переменных или заданных констант. Более сложные варианты ППФ строятся с помощью логических операций И, ИЛИ, НЕ и оператора ЕСЛИ-ТО. Допускается также построение ППФ с помощью квантора EXISTS.

Переменные, входящие в ППФ, могут быть свободными или связанными. Все переменные, входящие в ППФ, при построении которых не использовались кванторы, являются свободными. Если имя переменной использовано в ППФ сразу после квантора, то эта переменная называется связанной. Это означает, что такая переменная не видна за пределами ППФ, связавшей эту переменную. При вычислении значений такой ППФ используется не одно значение связанной переменной, а вся ее область определения.

Согласно концепции, предложенной Дейтом, реляционная модель состоит из трех частей: структурной, манипуляционной и целостной.

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

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

Второе требование называется требованием целостности по ссылкам. Атрибут называется внешним ключом, если его значение однозначно характеризует сущности, представленные картежами некоторого другого отношения, т.е. задают значения их первичного ключа. Требование целостности по ссылкам, которое еще называют требованием целостности ключа, заключается в следующем: для каждого значения внешнего ключа, появляющегося в ссылающемся отношении, на которое ведет ссылка, должен найтись картеж с таким же значением первичного ключа либо значение внешнего ключа должно быть неопределенным. Ограничения целостности сущности и целостности по ссылкам должны поддерживаться СУБД. Для соблюдения целостности сущности достаточно гарантировать отсутствие в любом отношении картежей с одним и тем же значением первичного ключа. При обновлении ссылающегося отношения или модификации значений внешнего ключа в существующих ключах достаточно следить за тем, чтобы не появлялись не корректные значения внешнего ключа. При удалении картежа из отношения существуют три подхода поддержания целостности по ссылкам.

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

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

3) Каскадное удаление. При удалении картежа из отношения, на которое ведет ссылка и ссылается отношение, автоматически удаляются все ссылающиеся картежи.

Дата добавления: 2015-05-09