Построение редуцированного минимального кольцевого покрытия

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

 


Понравилась статья? Добавь ее в закладку (CTRL+D) и не забудь поделиться с друзьями:  



double arrow
Сейчас читают про: