Проверка таблиц базы данных на соответствие 3НФ

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

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

Первая нормальная форма (1 НФ) – Отношение находится в первой нормальной форме, если все его атрибуты имеют простые (атомарные) значения. Понятие атомарности определяется исходя из использования информационной системы.

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

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

The_checkout_station1(Code_train,Name_train,Departure_date,Departure_time,Date_of_arrival,Time_of_arrival,Date_of_ticket_purchase,The_room_ticket_service,The_ticket_number,Room_space,Class,Ticket_price,The_number_of_flights,Passenger_Code)

1 НФ – все значения атомарные

2 НФ – все не ключевые атрибуты функционально полно зависят от ключа

3 НФ – отсутствуюттранзитивныезависимости

Schedule(Schedule_code, No_trains, Days_of_operation, Time_of_departure, Time_of_arrival)

1 НФ – все значения атомарные

2 НФ – ключ состоит только из одного атрибута Schedule_code

3 НФ – отсутствуюттранзитивныезависимости

Information_about_passenger1 (Code, Passenger_name, Passport_number, Passport_issue_date, Passport_issued_by)

1 НФ – все значения атомарные

2 НФ – ключ состоит только из одного атрибута Code

3 НФ – отсутствуюттранзитивныезависимости

Route (Route_code, No_trains, Primary_station, Intermediate_station, Terminal_station)

1 НФ – все значения атомарные

2 НФ – ключ состоит только из одного атрибута Route_code

3 НФ – отсутствуюттранзитивныезависимости

Station (Station_code, Station_name, Time_of_arrival, Time_of_departure, The_Parking_lot)

1 НФ – все значения атомарные

2 НФ – ключ состоит только из одного атрибута Station_code

3 НФ – отсутствуют транзитивные зависимости

Все таблицы находятся в третьей нормальной форме, следовательно, база данных также находится в третьей нормальной форме.

2.4 Схема данных

Рисунок 2.1. Схема данных таблиц в среде MSSQLManagementStudio 2012