2020-01-14
102
Построение неизбыточного покрытия
Исходное множество функциональных зависимостей представлено на рисунке 2.3.
| sp, np -> Fam, Im, Otch, pol, dateborn, datevidachi, kemvidan, country, city, street, numstreet, numflat, dolgnost |
| Fam, Im, Otch, dateborn, country, city, street, numstreet, numflat -> sp, np |
| sp_pl, np_pl -> date, rost, ves, staff, number, status |
| date, staff, number, status -> sp_pl, np_pl |
| sp, np -> num_room |
| num_p -> square, naznachenie |
| num_room -> room |
| num_zal -> type_zal |
| num_zal -> num_p |
| code_obj -> kol, date, balance |
| code_inv -> firm_inv, model_inv |
| code_inv -> code_obj |
| code_tec -> firm_tec, model_tec |
| code_tec -> code_obj |
| code_meb -> firm_meb, dlina, width, height, color |
| code_meb -> code_obj |
| inv_number_INV -> code_inv |
| inv_number_TEC -> code_tec |
| inv_number_MEB -> code_meb |
| inv_number_INV_out -> inv_number_INV |
| inv_number_TEC_out -> inv_number_TEC |
| inv_number_MEB_out -> inv_number_MEB |
| inv_number_INV_out -> date_out_inv |
| inv_number_TEC_out -> date_out_tec |
| inv_number_MEB_out -> date_out_meb |
| inv_number_INV, date_IinZal -> num_zal |
| inv_number_TEC, date_TecInP -> num_р |
| inv_number_MEB, date_MebInP -> num_р |
| code_balls -> material |
| code_balls -> code_inv |
| code_gate -> height_gate, shirina, kind |
| code_gate -> code_inv |
| code_trenager -> type |
| code_trenager -> code_inv |
| code_TV -> diagonal, screen |
| code_TV -> code_tec |
| code_refreg -> height_ref, widht_ref, depht_ref, sum_sq_polok, com_volume, user_volume |
| code_refreg -> code_tec |
| code_vacuum -> moshnost_v |
| code_vacuum -> code_tec |
| code_bed -> type_bed |
| code_bed -> code_meb |
| code_table -> type_table, material_table |
| code_table -> code_meb |
| code_shkaf -> type_shkaf |
| code_shkaf -> code_meb |
Рисунок 2.3 - Исходное множество функционаьных зависимостей
В ходе построения неизбыточнго покрытия множество функциональных зависимостей не изменилось.
Построение леворедуцированного покрытия
В ходе построения леворедуцированного покрытия множество функциональных зависимостей не изменилось.
Построение праворедуцированного покрытия
В ходе построения праворедуцированного покрытия множество функциональных зависимостей не изменилось.
Построение классов эквивалентности
Этапы построения классов эквивалентности представлены на рисунке 2.8.
| 1. Ef(sp, np): |
| sp, np -> Fam, Im, Otch, pol, dateborn, datevidachi, kemvidan, country, city, street, numstreet, numflat, dolgnost |
| Fam, Im, Otch, dateborn, country, city, street, numstreet, numflat -> sp, np |
| sp, np -> num_room |
| 2. Ef(sp_pl, np_pl): |
| sp_pl, np_pl -> date, rost, ves, staff, number, status |
| date, staff, number, status -> sp_pl, np_pl |
| 3. Ef(num_p): |
| num_p -> square, naznachenie |
| 4. Ef(num_room): |
| num_room -> room |
| 5. Ef(num_zal): |
| num_zal -> type_zal |
| num_zal -> num_p |
| 6. Ef(code_obj): |
| code_obj -> kol, date, balance |
| 7. Ef(code_inv): |
| code_inv -> firm_inv, model_inv; code_inv -> code_obj |
| 8. Ef(code_tec): |
| code_tec -> firm_tec, model_tec; code_tec -> code_obj |
| 9. Ef(code_meb): |
| code_meb -> firm_meb, dlina, width, height, color; code_meb -> code_obj |
| 10. Ef(inv_number_INV): |
| inv_number_INV -> code_inv |
| 11. Ef(inv_number_TEC): |
| 15. Ef(inv_number_MEB_out): |
| inv_number_MEB_out -> inv_number_MEB |
| inv_number_MEB_out -> date_out_meb |
| 16. Ef(inv_number_INV, date_IinZal): |
| inv_number_INV, date_IinZal -> num_zal |
| 17. Ef(inv_number_TEC, date_TecInP): |
| inv_number_TEC, date_TecInP -> num_р |
| 18. Ef(inv_number_MEB, date_MebInP): |
| inv_number_MEB, date_MebInP -> num_р |
| 19. Ef(code_balls): |
| code_balls -> material |
| code_balls -> code_inv |
| 20. Ef(code_gate): |
| code_gate -> height_gate, shirina, kind |
| code_gate -> code_inv |
| 21. Ef(code_trenager): |
| code_trenager -> type |
| code_trenager -> code_inv |
| 22. Ef(code_TV): |
| code_TV -> diagonal, screen |
| code_TV -> code_tec |
| 23. Ef(code_refreg): |
| code_refreg -> height_ref, widht_ref, depht_ref, sum_sq_polok, com_volume, user_volume |
| code_refreg -> code_tec |
| 24. Ef(code_vacuum): |
| code_vacuum -> moshnost_v |
| code_vacuum -> code_tec |
| 25. Ef(code_bed): |
| code_bed -> type_bed |
| code_bed -> code_meb |
| 26. Ef(code_table): |
| code_table -> type_table, material_table |
| code_table -> code_meb |
| 27. Ef(code_shkaf): |
| code_shkaf -> type_shkaf |
| code_shkaf -> code_meb |
Рисунок 2.4 - Этапы построения классов эквивалентности
