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



Определение 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

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

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