Определение функциональных зависимостей

 

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

Fam, Im, Otch, pol, dateborn, datevidachi, kemvidan, country, city, street, numstreet, numflat, dolgnost -> sp, np.

Один человек не может иметь два разных паспорта.

sp_pl, np_pl -> sp, np -> date, rost, ves, staff, number, status -> Fam, Im, Otch, dateborn, country, city, street, numstreet, numflat.

Футболист не может играть в команде определенного состава одновременно под разными номерами в разном качестве.

 sp_pl, np_pl -> date, staff, number, status.

В определенном составе под одним номером не могут играть два футболиста.

sp_pl, np_pl -> staff, number, status.

Один человек не может одновременно жить в двух комнатах.

num_room -> sp, np.

Помещение не может иметь разные площади и назначения.

square, naznachenie -> num_p.

Номер помещения однозначно определяет номер комнаты.

room -> num_room.

Спортивный зал не может одновременно относиться к разным типам. type_zal -> num_zal.

Объект в одно и то же время поступает в определенном количестве по определенной цене. kol, date, balance -> code_obj.

Инвентарь производится определенной фирмой и относится к определенной модели. firm_inv, model_inv -> code_inv.

Техника производится определенной фирмой и относится к определенной модели, потребляет определенную мощность. firm_tec, model_tec -> code_tec.

Мебель изготавливается из определенного материала, определенной длины, ширины, высоты, цвета. firm_meb, dlina, width, height, color -> code_meb.

Единица спортивного инвентаря не может относиться к двум объектам. code_inv-> inv_number_INV.

Единица техники не может относиться к двум объектам. code_tec ->. inv_number_TEC.

Единица мебели не может относиться к двум объектам. code_meb -> inv_number_MEB.

Единица спортивного инвентаря не может быть списана дважды. date_out_inv -> inv_number_INV_out.

Единица техники не может быть списана дважды. date_out_tec -> inv_number_TEC_out.

Единица мебели не может быть списана дважды date_out_meb ->. inv_number_MEB_out.

Единица спортивного инвентаря не может одновременно находиться в нескольких спортивных залах. num_zal -> inv_number_INV, date_IinZal.

Единица техники не может одновременно находиться в нескольких помещениях. num_р -> inv_number_TEC, date_TecInP.

Единица мебели не может одновременно находиться в нескольких помещениях. num_р -> inv_number_MEB, date_MebInP.

Мяч не может иметь разные характеристики. material -> code_balls.

Одни и те же ворота не могут иметь разные характеристики. height_gate, shirina, kind -> code_gate.

Тренажер не может быть одновременно двух видов. type -> code_trenager.

Телевизор не может иметь разные характеристики. diagonal, screen -> code_TV.

Холодильник не может иметь разные характеристики. height_ref, widht_ref, depht_ref, sum_sq_polok, com_volume, user_volume -> code_refreg.

Пылесос не может иметь разные характеристики. moshnost_v -> code_vacuum.

Кровать не может иметь разные характеристики. type_bed -> code_bed.

Стол не может иметь разные характеристики. type_table, material_table > code_table.

Шкаф не может иметь разные характеристики. type_shkaf -> code_shkaf.

Исходные функциональные зависимости представлены на рисунке 2.1

 

 

Рисунок 2.1 – Исходные функциональные зависимости

 

2.3.2 Функциональные зависимости сохраняющие иерархию

В данном множестве есть следующие зависимости, которые сохраняют иерархию:

Спортивным залом не может быть несуществующее помещение. num_zal -> num_p.

Не поступавшая партия объектов не может быть зарегистрирована как инвентарь. code_inv -> code_obj.

Не поступавшая партия объектов не может быть зарегистрирована как техника. code_tec -> code_obj.

Не поступавшая партия объектов не может быть зарегистрирована как мебель. code_meb -> code_obj.

Незарегистрированная единица инвентаря не может быть списана. inv_number_INV_out -> inv_number_INV.

Незарегистрированная единица техники не может быть списана.

inv_number_TEC _out -> inv_number_TEC.

Незарегистрированная единица мебели не может быть списана. inv_number_MEB_out -> inv_number_MEB.

Незарегистрированная партия инвентаря инвентаря не может быть партией мячей.

code_balls -> code_inv.

Одна и та же партия ворот не может поступить дважды.

code_gate -> code_inv.

Одна и та же партия тренажеров не может поступить дважды.

code_trenager -> type.

Одна и та же партия телевизоров не может поступить дважды.

code_TV -> diagonal, screen.

Одна и та же партия холодильников не может поступить дважды.

code_refreg -> height_ref, widht_ref, depht_ref, sum_sq_polok, com_volume, user_volume.

Функциональные зависимости сохраняющие иерархию представлены на рисунке 2.2.

 

 

Рисунок 2.2 - Функциональные зависимости, сохраняющие иерархию