Определение 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 - Естественное характеристическое множество