Целостность ссылок. Внешний ключ

Целостность сущностей.

Целостная часть. Целостность сущностей и ссылок

Атомарность значений атрибутов

Отсутствие упорядоченности атрибутов

Отсутствие упорядоченности кортежей

Минимальность первичного ключа

Наличие первичного ключа

Отсутствие кортежей-дубликатов. Первичный ключ

Фундаментальные свойства отношений

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

Из этого же свойства вытекает, что у каждого отношения должен быть первичный ключ - набор атрибутов, значения которых однозначно определяют кортеж отношения.

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

Свойство отсутствия упорядоченности кортежей отношения также является следствием определения отношения как множества кортежей. Т.е. порядок следования кортежей в отношении (или строк в таблице) не определен.

Отсутствие требования к поддержанию порядка на множестве кортежей отношения дает дополнительную гибкость СУБД при хранении баз данных во внешней памяти и при выполнении запросов к базе данных.

Атрибуты отношений также не упорядочены, поскольку по определению схема отношения есть множество пар {(имя атрибута, имя домена)}.

Это свойство придает дополнительную гибкость СУБД при модификации схемы существующих отношений не только путем добавления новых атрибутов, но и путем удаления существующих атрибутов.

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

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

Это требование автоматически выполняется, если в системе не нарушаются базовые свойства отношений.

Требование целостности ссылок связано с понятием внешних ключей. С помощью внешних ключей в реляционной БД обеспечивается взаимосвязь таблиц (отношений).

Рассмотрим два отношения

1. ОТДЕЛЫ (с атрибутами)

· ОТД_НОМЕР (номер отдела) – первичный ключ,

· ОТД_КОЛ (количество сотрудников)

2. СОТРУДНИКИ (с атрибутами)

· СОТР_НОМЕР (номер сотрудника) – первичный ключ,

· СОТР_ИМЯ (имя сотрудника)

· СОТР_ЗАРП (заработная плата сотрудника).

· СОТР_ОТД_НОМ (номер отдела, в котором работает сотрудник) – внешний ключ

Значение атрибута СОТР_ОТД_НОМ в любом кортеже отношения СОТРУДНИКИ должно соответствовать значению атрибута ОТД_НОМ в некотором кортеже отношения ОТДЕЛЫ (что означает, что сотрудник работает в соответствующем отделе).

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

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

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