2020-01-14
102
Определение CF-зависимостей по классам эквивалентности. Построение кольцевого покрытия
Минимальное кольцевое покрытие представлено на рисунке 2.7
| (sp, np; Fam, Im, Otch, dateborn, country, city, street, numstreet, numflat;) |
| -> pol, datevidachi, kemvidan, dolgnost, num_room |
| (sp_pl, np_pl; date, staff, number, status;) -> rost, ves |
| (num_p;) -> square, naznachenie |
| (num_room;) -> room |
| (num_zal;) -> type_zal, num_p |
| (code_obj;) -> kol, date, balance |
| (code_inv;) -> firm_inv, model_inv, code_obj |
| (code_tec;) -> firm_tec, model_tec, code_obj |
| (code_meb;) -> firm_meb, dlina, width, height, color, code_obj |
| (inv_number_INV;) -> code_inv |
| (inv_number_TEC;) -> code_tec |
| (inv_number_MEB;) -> code_meb |
| (inv_number_INV_out;) -> inv_number_INV, date_out_inv |
| (inv_number_TEC, _out;) |
| (inv_number_MEB_out;) -> inv_number_MEB, date_out_meb |
| (inv_number_TEC_out;) -> date_out_tec |
| (inv_number_INV, date_IinZal;) -> num_zal |
| (inv_number_TEC, date_TecInP;) -> num_р |
| (inv_number_MEB, date_MebInP;) -> num_р |
| (code_balls;) -> material, code_inv |
| (code_gate;) -> height_gate, shirina, kind, code_inv |
| (code_trenager;) -> type, code_inv |
| (code_TV;) -> diagonal, screen, code_tec |
| (code_refreg;) -> height_ref, widht_ref, depht_ref, sum_sq_polok, |
| com_volume, user_volume, code_tec |
| (code_vacuum;) -> moshnost_v, code_tec |
| (code_bed;) -> type_bed, code_meb |
| (code_table;) -> type_table, material_table, code_meb |
| (code_shkaf;) -> type_shkaf, code_meb |
Рисунок 2.7 - Минимальное кольцевое покрытие
Получение кольцевого минимального редуцированного покрытия
Естественное характеристическое множество для кольцевого покрытия представлено на рисунке 2.8.
| f(C): |
| sp, np -> Fam, Im, Otch, dateborn, country, city, street, numstreet, |
| numflat |
| Fam, Im, Otch, dateborn, country, city, street, numstreet, numflat -> sp, |
| np |
| Fam, Im, Otch, dateborn, country, city, street, numstreet, numflat -> pol, |
| datevidachi, kemvidan, dolgnost, num_room |
| sp_pl, np_pl -> date, staff, number, status |
| date, staff, number, status -> sp_pl, np_pl |
| date, staff, number, status -> rost, ves |
| code_tec -> firm_tec, model_tec, code_obj |
| code_meb -> firm_meb, dlina, width, height, color, code_obj |
| inv_number_INV -> code_inv |
| inv_number_TEC -> code_tec |
| inv_number_MEB -> code_meb |
| inv_number_INV_out -> inv_number_INV, date_out_inv |
| inv_number_MEB_out -> inv_number_MEB, date_out_meb |
| inv_number_TEC_out -> date_out_tec |
| inv_number_INV, date_IinZal -> num_zal |
| inv_number_TEC, date_TecInP -> num_р |
| inv_number_MEB, date_MebInP -> num_р |
| code_balls -> material, code_inv |
| code_gate -> height_gate, shirina, kind, code_inv |
| code_trenager -> type, code_inv |
| code_TV -> diagonal, screen, code_tec |
| code_refreg -> height_ref, widht_ref, depht_ref, sum_sq_polok, |
| com_volume, user_volume, code_tec |
| code_vacuum -> moshnost_v, code_tec |
| code_bed -> type_bed, code_meb |
| code_table -> type_table, material_table, code_meb |
| code_shkaf -> type_shkaf, code_meb |
Рисунок 2.8 - Естественное характеристическое множество для кольцевого покрытия
Минимальное редуцированное кольцевое покрытие представлено на рисунке 2.9.
| (sp, np; Fam, Im, Otch, dateborn, country, city, street, numstreet, |
| numflat;) -> pol, datevidachi, kemvidan, dolgnost, num_room |
| (sp_pl, np_pl; date, staff, number, status;) -> rost, ves |
| (num_p;) -> square, naznachenie |
| (num_room;) -> room |
| (num_zal;) -> type_zal, num_p |
| (code_obj;) -> kol, date, balance |
| (code_inv;) -> firm_inv, model_inv, code_obj |
| (code_tec;) -> firm_tec, model_tec, code_obj |
| (code_meb;) -> firm_meb, dlina, width, height, color, code_obj |
| (inv_number_INV;) -> code_inv |
| (inv_number_TEC;) -> code_tec |
| (inv_number_MEB;) -> code_meb |
| (inv_number_INV_out;) -> inv_number_INV, date_out_inv |
| (inv_number_TEC, _out;) |
| (inv_number_MEB_out;) -> inv_number_MEB, date_out_meb |
| (inv_number_TEC_out;) -> date_out_tec |
| (inv_number_INV, date_IinZal;) -> num_zal |
| (inv_number_TEC, date_TecInP;) -> num_р |
| (inv_number_MEB, date_MebInP;) -> num_р |
| (code_balls;) -> material, code_inv |
| (code_gate;) -> height_gate, shirina, kind, code_inv |
| (code_trenager;) -> type, code_inv |
| (code_TV;) -> diagonal, screen, code_tec |
| (code_refreg;) -> height_ref, widht_ref, depht_ref, sum_sq_polok, |
| com_volume, user_volume, code_tec |
| (code_vacuum;) -> moshnost_v, code_tec |
| (code_bed;) -> type_bed, code_meb |
| (code_table;) -> type_table, material_table, code_meb |
| (code_shkaf;) -> type_shkaf, code_meb |
Рисунок 2.9 - Минимальное редуцированное кольцевое покрытие
Естественное характеристическое множество представлено на рисунке 2.10.
| R0 = (sp, np; Fam, Im, Otch, dateborn, country, city, street, numstreet, |
| numflat, pol, datevidachi, kemvidan, dolgnost, num_room) K0 = { sp, np; Fam, Im, Otch, dateborn, country, city, street, numstreet, numflat } |
| R1 = (sp_pl, np_pl; date, staff, number, status, rost, ves) K1 = { sp_pl, np_pl; date, staff, number, status } |
| R2 = (num_p, square, naznachenie) K2 = { num_p } |
| R3 = (num_room, room) K3 = { num_room } |
| R4 = (num_zal, type_zal, num_p) K4 = { num_zal } |
| R5 = (code_obj, kol, date, balance) K5 = { code_obj } |
| R6 = (code_inv, firm_inv, model_inv, code_obj) K6 = { code_inv } |
| R7 = (code_tec, firm_tec, model_tec, code_obj) K7 = { code_tec } |
| R8 = (code_meb, firm_meb, dlina, width, height, color, code_obj) K8 = { code_meb } |
| R9 = (inv_number_INV, code_inv) K9 = { inv_number_INV } |
| R10 = (inv_number_TEC, code_tec) K10 = { inv_number_TEC } |
| R11 = (inv_number_MEB, code_meb) K11 = { inv_number_MEB } |
| R12 = (inv_number_INV_out, inv_number_INV, date_out_inv) K12 = { inv_number_INV_out } |
| R13 = (inv_number_TEC, _out) K13 = { inv_number_TEC, _out } |
| R14 = (inv_number_MEB_out, inv_number_MEB, date_out_meb) K14 = {inv_number_MEB_out } |
| R15 = (inv_number_TEC_out, date_out_tec) K15 = { inv_number_TEC_out } |
| R16 = (inv_number_INV, date_IinZal, num_zal) K16 = { inv_number_INV, date_IinZal } |
| R17 = (inv_number_TEC, date_TecInP, num_р) K17 = { inv_number_TEC, date_TecInP } |
| R18 = (inv_number_MEB, date_MebInP, num_р) K18 = { inv_number_MEB, date_MebInP } |
| R19 = (code_balls, material, code_inv) K19 = { code_balls } |
| R20 = (code_gate, height_gate, shirina, kind, code_inv) K20 = { code_gate } |
| R21 = (code_trenager, type, code_inv) K21 = { code_trenager } |
| R22 = (code_TV, diagonal, screen, code_tec) K22 = { code_TV } |
| R23 = (code_refreg, height_ref, widht_ref, depht_ref, sum_sq_polok, |
| com_volume, user_volume, code_tec) K23 = { code_refreg } |
| R24 = (code_vacuum, moshnost_v, code_tec) K24 = { code_vacuum } |
| R25 = (code_bed, type_bed, code_meb) K25 = { code_bed } |
| R26 = (code_table, type_table, material_table, code_meb) K26 = { code_table } |
| R27 = (code_shkaf, type_shkaf, code_meb) K27 = { code_shkaf } |
Рисунок 2.10 - Естественное характеристическое множество
