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

Результирующее множество:

passport -> staff_pl, number, status_pl

passport -> staff_c, status_c

pop_index -> person_id, num_p

num_p -> square, naznachenie

num_p -> num_zal, type_zal

num_p -> num_room

tec_in -> date_tec, num_p, inv_number_tec

meb_in -> date_meb, num_p, inv_number_meb

inv_in_id -> date_inv, num_p, inv_number_inv

inv_number_inv -> code_obj

inv_number_tec -> code_obj

inv_number_meb -> code_obj

code_obj -> date, price

code_obj -> firm_inv, model_inv

code_obj -> firm_tec, model_tec

code_obj -> firm_meb, model_meb, dlina, width, height

id_spis -> data

id_spis -> inv_number_inv, reason_inv

id_spis -> inv_number_tec, reason_tec

id_spis -> inv_number_meb, reason_meb

Fam, Im, Otch, pol, dateborn, datevidachi, kemvidan, country, city, street, numstreet, numflat, dolgnost -> passport

num_room -> passport

num_zal -> inv_number_inv

num_p -> inv_number_tec

num_p -> inv_number_meb

passport -> person

number -> player

pop_index -> populate

num_p -> pomeshenie

num_p -> zal

num_p -> room

tec_in -> techno_in_pom

meb_in -> meb_in_pom

inv_in_id -> inv_in_zal

inv_number_inv -> invenum_inv

inv_number_tec -> invenum_tec

inv_number_meb -> invenum_meb

code_obj -> arrival_object

code_obj -> inventar

code_obj -> techno

firm_meb, model_meb, dlina, width, height -> mebel

id_spis -> spisanie

id_spis -> out_inventar

id_spis -> out_techno

id_spis -> out_mebel

number -> passport, fam, im, otch, pol, dateborn, datevidachi, kemvidan, country, city, street, numstreet, numflat, dolgnost

status_c -> passport, fam, im, otch, pol, dateborn, datevidachi, kemvidan, country, city, street, numstreet, numflat, dolgnost

status_c -> coach

3.3. Построениеправоредуцированногопокрытия

Результирующеемножество:

passport -> staff_pl, number, status_pl

passport -> staff_c, status_c

pop_index -> person_id, num_p

num_p -> square, naznachenie

num_p -> num_zal, type_zal

num_p -> num_room

tec_in -> date_tec, num_p

meb_in -> date_meb, num_p

inv_in_id -> date_inv, num_p

inv_number_inv -> code_obj

inv_number_tec -> code_obj

inv_number_meb -> code_obj

code_obj -> date, price

code_obj -> firm_inv, model_inv

code_obj -> firm_tec, model_tec

code_obj -> firm_meb, model_meb, dlina, width, height

id_spis -> data

id_spis -> inv_number_inv, reason_inv

id_spis -> inv_number_tec, reason_tec

id_spis -> inv_number_meb, reason_meb

Fam, Im, Otch, pol, dateborn, datevidachi, kemvidan, country, city, street, numstreet, numflat, dolgnost -> passport

num_room -> passport

num_zal -> inv_number_inv

num_p -> inv_number_tec

num_p -> inv_number_meb

passport -> person

number -> player

pop_index -> populate

num_p -> pomeshenie

num_p -> zal

num_p -> room

tec_in -> techno_in_pom

meb_in -> meb_in_pom

inv_in_id -> inv_in_zal

inv_number_inv -> invenum_inv

inv_number_tec -> invenum_tec

inv_number_meb -> invenum_meb

code_obj -> arrival_object

code_obj -> inventar

code_obj -> techno

firm_meb, model_meb, dlina, width, height -> mebel

id_spis -> spisanie

id_spis -> out_inventar

id_spis -> out_techno

id_spis -> out_mebel

number -> passport

status_c -> passport, fam, im, otch, pol, dateborn, datevidachi, kemvidan, country, city, street, numstreet, numflat, dolgnost

status_c -> coach