двух множеств называется новое



Определение 1

. Объединением двух множеств называется новое множество



Определение 1.

Атрибут отношения есть пара вида <Имя_атрибута : Имя_домена>.

Имена атрибутов должны быть уникальны в пределах отношения. Часто имена атрибутов отношения совпадают с именами соответствующих доменов.





Определение 1

. Пусть дано отношение Определение 1 отношения потенциальным ключом, если
  1. Свойством уникальности - в отношении не может быть двух различных кортежей, с одинаковым значением
  2. Свойством неизбыточности - никакое подмножество в
Любое отношение имеет по крайней мере один потенциальный ключ. Действительно, если никакой атрибут или группа атрибутов не являются потенциальным ключом, то, в силу уникальности кортежей, все атрибуты вместе образуют потенциальный ключ. Потенциальный ключ, состоящий из одного атрибута, называется простым. Потенциальный ключ, состоящий из нескольких атрибутов, называется составным. Отношение может иметь несколько потенциальных ключей. Традиционно, один из потенциальных ключей объявляется первичным, а остальные - альтернативными. Различия между первичным и альтернативными ключами могут быть важны в конкретной реализации реляционной СУБД, но с точки зрения реляционной модели данных, нет оснований выделять таким образом один из потенциальных ключей. Замечание. Понятие потенциального ключа является семантическим понятием и отражает некоторый смысл (трактовку) понятий из конкретной предметной области. Для того чтобы проиллюстрировать этот факт рассмотрим следующее отношение "Сотрудники":






Определение 1

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



Определение 1

. Пусть Определение 1 функционально зависимо от множества атрибутов Определение 1 функционально определяет Определение 1 для любых кортежей Определение 1 следует что Определение 1, значения атрибутов Определение 1). Символически функциональная зависимость записывается Множество атрибутов детерминантом функциональной зависимости, а множество атрибутов зависимой частью. Замечание. Если атрибуты Определение 1, то любой атрибут отношения Определение 1.



Определение 1

. Отношение нормальной форме Бойса-Кодда (НФБК) тогда и только тогда, когда детерминанты всех функциональных зависимостей являются потенциальными ключами. Замечание. Если отношение находится в НФБК, то оно автоматически находится и в 3НФ. Действительно, это сразу следует из определения 3НФ. Отношение "Поставки" не находится в НФБК, т.к. имеются зависимости (PNUM PNAME и PNAME PNUM), детерминанты которых не являются потенциальными ключами. Для того чтобы устранить зависимость от детерминантов, не являющихся потенциальными ключами, необходимо провести декомпозицию, вынося эти детерминанты и зависимые от них части в отдельное отношение. Отношения "Поставщики" и "Поставки-2", полученные в результате декомпозиции находятся в НФБК. Замечание. Приведенная декомпозиция отношения "Поставки" на отношения "Поставщики" и "Поставки-2" не является единственно возможной. Альтернативной декомпозицией является декомпозиция на следующие отношения:



Определение 1

. Сущность - это класс однотипных объектов, информация о которых должна быть учтена в модели. Каждая сущность должна иметь наименование, выраженное существительным в единственном числе.



Определение 1

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

Содержание раздела