46885 (588451), страница 3
Текст из файла (страница 3)
Редуцированное минимальное покрытие представлено на рисунке 2.6
| 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 |
| num_p |
| > square, naznachenie |
| num_room |
| > room |
| code_obj |
| > kol, date, balance |
| inv_number_INV |
| > code_inv |
| inv_number_TEC |
| > code_tec |
| inv_number_MEB |
| > code_meb |
| inv_number_INV, date_IinZal |
| > num_zal |
| inv_number_TEC, date_TecInP |
| > num_р |
| inv_number_MEB, date_MebInP |
| > num_р |
| sp, np |
| > Fam, Im, Otch, pol, dateborn, datevidachi, kemvidan, country, city, street, numstreet, numflat, dolgnost, num_room |
| num_zal |
| > type_zal, num_p |
| 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_out |
| > inv_number_INV, date_out_inv |
| inv_number_TEC_out |
| > inv_number_TEC, date_out_tec |
| inv_number_MEB_out |
| > inv_number_MEB, date_out_meb |
| 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.6 - Редуцированное минимальное покрытие
-
Построение редуцированного минимального кольцевого покрытия
Определение 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 - Естественное характеристическое множество
-
Концептуальная модель
Исходная концептуальная модель базы данных представлена на рисунке 2.15.















