Управление данными. Громов Ю.Ю - 17 стр.

UptoLike

ВУЗ: 

ТГТУ | Тамбов

Составители: 

Рубрика: 

Свойства отношений.
Свойства отношений непосредственно следуют из приведённого выше оп-
ределения отношения. В этих свойствах в основном и состоят различия между отношениями и таблица-
ми.
1.
В отношении нет одинаковых кортежей
. Действительно, тело отношения есть
множество
корте-
жей и, как всякое множество, не может содержать неразличимые элементы (см. понятие множества в гл.
1.). Таблицы в отличие от отношений могут содержать одинаковые строки.
2.
Кортежи не упорядочены
(
сверху вниз
). Действительно, несмотря на то что мы изобразили от-
ношение «Сотрудники» в виде таблицы, нельзя сказать, что сотрудник Иванов «предшествует» сотруд-
нику Петрову. Причина та же – тело отношения есть множество, а множество не упорядочено. Это вто-
рая причина, по которой нельзя отождествить отношения и таблицы – строки в таблицах упорядочены.
Одно и то же отношение может быть изображено разными таблицами, в которых строки идут в различ-
ном порядке.
3.
Атрибуты не упорядочены
(
слева направо
). Так как каждый атрибут имеет уникальное имя в
пределах отношения, то порядок атрибутов не имеет значения. Это свойство несколько отличает отно-
шение от математического определения отношения (см. гл. 1 – компоненты кортежей там упорядоче-
ны). Это также третья причина, по которой нельзя отождествить отношения и таблицы – столбцы в таб-
лице упорядочены. Одно и то же отношение может быть изображено
разными таблицами, в которых
столбцы идут в различном порядке.
4.
Все значения атрибутов атомарны
. Это следует из того, что лежащие в их основе атрибуты имеют
атомарные значения. Это четвёртое отличие отношений от таблиц – в ячейки таблиц можно поместить
что угодно – массивы, структуры и даже другие таблицы.
Замечание. Из свойств отношения следует, что не каждая
таблица может задавать отношение. Для
того чтобы некоторая таблица задавала отношение, необходимо, чтобы таблица имела простую струк-
туру (содержала бы только строки и столбцы, причём в каждой строке было бы одинаковое количество
полей), в таблице не должно быть одинаковых строк, любой столбец таблицы должен содержать данные
только одного типа, все используемые типы данных должны быть простыми.
Замечание. Каждое отношение можно считать
классом эквивалентности таблиц
, для которых вы-
полняются следующие условия:
−
таблицы имеют одинаковое количество столбцов;
−
таблицы содержат столбцы с одинаковыми наименованиями;
−
столбцы с одинаковыми наименованиями содержат данные из одних и тех же доменов;
−
таблицы имеют одинаковые строки с учётом того, что порядок столбцов может различаться.
Все такие таблицы есть различные изображения
одного и того же отношения.
2.2.4. Первая нормальная форма
Труднее всего дать определение вещей, которые всем понятны. Если давать нестрогое, описатель-
ное определение, то всегда остаётся возможность неправильной его трактовки. Если дать строгое, фор-
мальное определение, то оно, как правило, или тривиально, или слишком громоздко. Именно такая си-
туация с определением отношения в
Первой Нормальной Форме
(
1НФ
). Совсем не говорить об этом
нельзя, так как на основе 1НФ строятся более высокие нормальные формы, которые рассматриваются
далее в гл. 3. Дать определение 1НФ сложно ввиду его тривиальности. Поэтому дадим просто несколько
объяснений.
Объяснение 1. Говорят, что отношение
R
находится в 1НФ, если оно удовлетворяет определению
2.
Это, собственно, тавтология, ведь из определения 2 следует, что других отношений не бывает. Дей-
ствительно, определение 2 описывает, что является отношением, а что – нет, следовательно, отношений
в непервой нормальной форме просто нет.
Объяснение 2. Говорят, что отношение
R
находится в 1НФ, если его атрибуты содержат только
скалярные (атомарные) значения.
Опять же, определение 2 опирается на понятие домена, а домены определены на простых типах
данных.

Страницы