Cafedra

Disp ID_Caf Cafedra Phone

1 ВТ 211718

2 ИСИМ 344248

3 ИЗИ 317442

Person

Tab_N FIO

1111 Ланцов В.Н.

2222 Мамаев А.А

3333 Буланкин В.Б.

ID_Disp	Disp_Name	Type
1	САПР	ЛК
2	САПР	ПР
3	АрхЭВМ	ЛК
4	АрхЭВМ	КП
5	ЗИ	ЛК
6	ЗИ	ЛБ
7	Инф-ка	ПР

4444 Алешкин А.А.

Отношение R находится в третьей нормальной форме (3НФ) тогда и только тогда, когда отношение находится во 2НФ и ни одно из ее неклю- чевых полей функционально не зависит от любого другого неключевого поля. Или другими словами, таблица находится в 3НФ, если она находится во 2НФ и каждое ее неключевое поле нетранзитивно зависит от первично- го ключа.

ID_Cat	Type
1	ЛК
2	ПР
3	ЛБ
4	КП

Очевидно, что для нашего примера все таблицы удовлетворяют ус- ловию 3НФ, кроме отношения Disp. Так как категория занятия, вообще го- воря, зависит от вида дисциплины. Поэтому его надо разбить на два более

_{мелких отношения:}

Disp				Categories
ID_Disp	Disp_Name	ID_Cat
1	САПР	1
2	САПР	2
3	АрхЭВМ	1
4	АрхЭВМ	4
5	ЗИ	1
6	ЗИ	3
7	Инф-ка	2

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

Отношение находится в четвертой нормальной форме, если оно находится в нормальной форме Бойса-Кодда и все его многозначные зави- симости фактически являются функциональными зависимостями от по- тенциальных ключей.

22

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

На практике многие логические модели приведены только к третьей нормальной форме, которой достаточно для работы с большинством пред- метных баз данных.

Создание диаграммы БД «Университет».

Модель предметной области (логического уровня).

Каждой сущности присваивается уникальное имя и номер, разделяе- мые косой чертой "/" и помещаемые над блоком. Сущности E/1 и E/2 – ро- дительские, сущность E/3 – дочерняя. Результат представлен на рис. 1.

Cetegories/3

ID_Cat

Cat

Disp/1

ID_Disp

Cafedra Disp_Name ID_Cat(FK)

Person/2

Tab_N Academic_degree

FIO

Teach_Load/4

Teach_ID

Start_Of_Work ID_Disp (FK) Tab_N (FK)

Рис. 1. Логическая модель БД «Университет»

Атрибуты изображаются в виде списка имен внутри блока сущности. Атрибуты, определяющие первичный ключ, размещаются наверху списка и отделяются от других атрибутов горизонтальной чертой. Идентифици- рующая связь между сущностью-родителем и сущностью-потомком изо- бражается сплошной линией. Сущность-потомок в идентифицирующей связи является зависимой от идентификатора сущностью. Пунктирная ли- ния изображает неидентифицирующую связь. Сущность-потомок в не- идентифицирующей связи будет независимой от идентификатора. Сущно- сти могут иметь также внешние ключи (Foreign Key), которые могут ис- пользоваться в качестве части или целого первичного ключа или неключе- вого атрибута. Внешний ключ изображается с помощью помещения внутрь блока сущности имен атрибутов, после которых следуют буквы FK в скоб-

_ках.

Результат преобразования модели из логического уровня в физиче-

ский уровень моделирования представлен на рис. 2.

Cetegories/3

Disp/1

23

Person/2

ID_Cat: INTEGER Cat: CHAR(10)

ID_Disp: INTEGER

Cafedra : CHAR() Disp_Name: CHAR(20)

ID_Cat: INTEGER

Tab_N: INTEGER

Academic_degree: CHAR(20) FIO: CHAR(30)

Teaching_Load/4

Teach_ID: INTEGER

Start_Of_Work: DATE ID_Disp: INTEGER Tab_N: INTEGER

Рис. 2. Физическая модель БД «Университет»

24