Спецификационный вариант инфологической модели

1. Атрибуты:

1.1 ID_Записи - счетчик;

1.2 Date_ent - датавремя;

1.3 Date_ext - датавремя;

1.4 Pay - денежный;

1.5 Status - логический;

1.6 ID_Комнаты - счетчик;

1.7 Capacity - числовой;

1.8 ID_Общежития - счетчик;

1.9 Address_Общежития - короткий текст;

1.10 Phone_Общежития - числовой;

1.11 Personal_ID - счетчик;

1.12 SNP_Personal - короткий текст;

1.13 Job_Title - короткий текст;

1.14 Pasport_ID_Персонала - числовой;

1.15 Phone_Персонала - числовой;

1.16 Home_address - короткий текст;

1.17 Specialty_ID - счетчик;

1.18 Full_Name_Специальности - короткий текст;

1.19 Short_Name_Специальности - короткий текст;

1.20 Gradebook_ID - счетчик;

1.21 SNP_Student - короткий текст;

1.22 Pasport_ID - короткий текст;

1.23 Домашний адрес - короткий текст;

1.24 Phone_Студента - короткий текст;

1.25 Faculty_ID - счетчик;

1.26 Full_Name - короткий текст;

1.27 Short_Name - короткий текст;

1.28 SNP_decan - короткий текст;

1.29 Phone_decane - короткий текст;

2. Сущности

2.1 Факультет (Faculty_ID, Full_Name, Short_Name, SNP_decan, Phone_decane)

2.2 Студент (Gradebook_ID, SNP_Student, Pasport_ID, Домашний адрес, Phone_Студента)

2.3 Специальность (Specialty_ID, Full_Name_Специальности, Short_Name_Специальности)

2.4 Сотрудник (Personal_ID, SNP_Personal, Job_Title, Pasport_ID_Персонала, Phone_Персонала, Home_address)

2.5 Общежитие (ID_Общежития, Address_Общежития, Phone_Общежития)

2.6 Комната (ID_Комнаты, Capacity)

2.7 Запись в Журнале (ID_Записи, Date_ent, Date_ext, Pay, Status)

3. Связи между сущностями.

3.1 Кто Комендант (Personal_ID, Commandant_ID), тип 1: 1 от Сотрудник к Общежитие

3.2 В Каком Общежитии (ID, Obsh_ID), тип 1: M от Общежитие к Запись в Журнале

3.3 Кто Главный (Personal_ID, Commandant_ID), тип 1: M от Сотрудник к Запись в Журнале

3.4 Где Проживает (ID_Комнаты, Room_ID), тип 1: M от Комната к Запись в Журнале

3.5 Кто Проживает (Gradebook_ID, Treaty_ID), тип 1: 1 от Запись в Журнале к Студент

3.6 Какая Специальность (Specialty_ID, Specialty_ID), тип 1: M от Специальность к Студент

3.7 Какой Факультет (Faculty_ID, Faculty_ID), тип 1: M от Факультет к Студент

4. Связи между атрибутами сущностей

Из графической диаграммы инфологической модели видно, что все атрибуты всех сущностей атомарные (то есть неделимы) и не содержат повторяющихся групп. Следовательно, модель находится в первой нормальной форме.

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

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

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