Построение неизбытычного покрытия

Ïîñòðîåíèå íåèçáûòî÷íîãî ïîêðûòèÿ

 

g:

passport -> fam, im, otch, pol, dateborn, datevidachi, kemvidan, country,

city, street, numstreet, numflat, dolgnost

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, fam, im, otch, pol, dateborn, datevidachi, kemvidan, country,

city, street, numstreet, numflat, dolgnost -> person

passport, staff_pl, number, status_pl -> player

pop_index, person_id, num_p -> populate

num_p, square, naznachenie -> pomeshenie

num_p, num_zal, type_zal -> zal

num_p, num_room -> room

tec_in, date_tec, num_p, inv_number_tec -> techno_in_pom

meb_in, date_meb, num_p, inv_number_meb -> meb_in_pom

inv_in_id, date_inv, num_p, inv_number_inv -> inv_in_zal

inv_number_inv, code_obj -> invenum_inv

inv_number_tec, code_obj -> invenum_tec

inv_number_meb, code_obj -> invenum_meb

code_obj, date, price -> arrival_object

code_obj, firm_inv, model_inv -> inventar

code_obj, firm_tec, model_tec -> techno

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

id_spis, data -> spisanie

id_spis, inv_number_inv, reason_inv -> out_inventar

id_spis, inv_number_tec, reason_tec -> out_techno

id_spis, inv_number_meb, reason_meb -> 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

passport, staff_c, status_c -> coach

 

1. f=g \ passport -> fam, im, otch, pol, dateborn, datevidachi, kemvidan,

country, city, street, numstreet, numflat, dolgnost

Ïðîâåðÿåì: f |= passport ->fam, im, otch, pol, dateborn, datevidachi,

kemvidan, country, city, street, numstreet, numflat, dolgnost

[passport]+f = passport, staff_pl, number, status_pl, staff_c, status_c,

player, fam, im, otch, pol, dateborn, datevidachi, kemvidan, country, city,

street, numstreet, numflat, dolgnost, person, coach

Äà => g=f

g:

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, fam, im, otch, pol, dateborn, datevidachi, kemvidan, country,

city, street, numstreet, numflat, dolgnost -> person

passport, staff_pl, number, status_pl -> player

pop_index, person_id, num_p -> populate

num_p, square, naznachenie -> pomeshenie

num_p, num_zal, type_zal -> zal

num_p, num_room -> room

tec_in, date_tec, num_p, inv_number_tec -> techno_in_pom

meb_in, date_meb, num_p, inv_number_meb -> meb_in_pom

inv_in_id, date_inv, num_p, inv_number_inv -> inv_in_zal

inv_number_inv, code_obj -> invenum_inv

inv_number_tec, code_obj -> invenum_tec

inv_number_meb, code_obj -> invenum_meb

code_obj, date, price -> arrival_object

code_obj, firm_inv, model_inv -> inventar

code_obj, firm_tec, model_tec -> techno

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

id_spis, data -> spisanie

id_spis, inv_number_inv, reason_inv -> out_inventar

id_spis, inv_number_tec, reason_tec -> out_techno

id_spis, inv_number_meb, reason_meb -> 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

passport, staff_c, status_c -> coach

 

2. f=g \ passport -> staff_pl, number, status_pl

Ïðîâåðÿåì: f |= passport -> staff_pl, number, status_pl

[passport]+f = passport, staff_c, status_c, fam, im, otch, pol, dateborn,

datevidachi, kemvidan, country, city, street, numstreet, numflat, dolgnost,

person, coach

Íåò => Ìíîæåñòâî ÔÇ íå èçìåíÿåòñÿ

 

3. f=g \ passport -> staff_c, status_c

Ïðîâåðÿåì: f |= passport -> staff_c, status_c

[passport]+f = passport, staff_pl, number, status_pl, player, fam, im, otch,

pol, dateborn, datevidachi, kemvidan, country, city, street, numstreet,

numflat, dolgnost, person

Íåò => Ìíîæåñòâî ÔÇ íå èçìåíÿåòñÿ

 

4. f=g \ pop_index -> person_id, num_p

Ïðîâåðÿåì: f |= pop_index -> person_id, num_p

[pop_index]+f = pop_index

Íåò => Ìíîæåñòâî ÔÇ íå èçìåíÿåòñÿ

 

5. f=g \ num_p -> square, naznachenie

Ïðîâåðÿåì: f |= num_p -> square, naznachenie

[num_p]+f = num_p, num_zal, type_zal, num_room, passport, staff_pl,

number, status_pl, staff_c, status_c, inv_number_inv, code_obj, date,

price, firm_inv, model_inv, firm_tec, model_tec, firm_meb, model_meb,

dlina, width, height, inv_number_tec, inv_number_meb, player, zal, room,

invenum_inv, invenum_tec, invenum_meb, arrival_object, inventar,

techno, mebel, fam, im, otch, pol, dateborn, datevidachi, kemvidan,

country, city, street, numstreet, numflat, dolgnost, person, coach

Íåò => Ìíîæåñòâî ÔÇ íå èçìåíÿåòñÿ

 

6. f=g \ num_p -> num_zal, type_zal

Ïðîâåðÿåì: f |= num_p -> num_zal, type_zal

[num_p]+f = num_p, square, naznachenie, num_room, passport, staff_pl,

number, status_pl, staff_c, status_c, inv_number_tec, code_obj, date,

price, firm_inv, model_inv, firm_tec, model_tec, firm_meb, model_meb,

dlina, width, height, inv_number_meb, player, pomeshenie, room,

invenum_tec, invenum_meb, arrival_object, inventar, techno, mebel, fam,

im, otch, pol, dateborn, datevidachi, kemvidan, country, city, street,

numstreet, numflat, dolgnost, person, coach

Íåò => Ìíîæåñòâî ÔÇ íå èçìåíÿåòñÿ

 

7. f=g \ num_p -> num_room

Ïðîâåðÿåì: f |= num_p -> num_room

[num_p]+f = num_p, square, naznachenie, num_zal, type_zal,

inv_number_inv, code_obj, date, price, firm_inv, model_inv, firm_tec,

model_tec, firm_meb, model_meb, dlina, width, height, inv_number_tec,

inv_number_meb, pomeshenie, zal, invenum_inv, invenum_tec,

invenum_meb, arrival_object, inventar, techno, mebel

Íåò => Ìíîæåñòâî ÔÇ íå èçìåíÿåòñÿ

 

8. f=g \ tec_in -> date_tec, num_p, inv_number_tec

Ïðîâåðÿåì: f |= tec_in -> date_tec, num_p, inv_number_tec

[tec_in]+f = tec_in

Íåò => Ìíîæåñòâî ÔÇ íå èçìåíÿåòñÿ

 

9. f=g \ meb_in -> date_meb, num_p, inv_number_meb

Ïðîâåðÿåì: f |= meb_in -> date_meb, num_p, inv_number_meb

[meb_in]+f = meb_in

Íåò => Ìíîæåñòâî ÔÇ íå èçìåíÿåòñÿ

 

10. f=g \ inv_in_id -> date_inv, num_p, inv_number_inv

Ïðîâåðÿåì: f |= inv_in_id -> date_inv, num_p, inv_number_inv

[inv_in_id]+f = inv_in_id

Íåò => Ìíîæåñòâî ÔÇ íå èçìåíÿåòñÿ

 

11. f=g \ inv_number_inv -> code_obj

Ïðîâåðÿåì: f |= inv_number_inv -> code_obj

[inv_number_inv]+f = inv_number_inv

Íåò => Ìíîæåñòâî ÔÇ íå èçìåíÿåòñÿ

 

12. f=g \ inv_number_tec -> code_obj

Ïðîâåðÿåì: f |= inv_number_tec -> code_obj

[inv_number_tec]+f = inv_number_tec

Íåò => Ìíîæåñòâî ÔÇ íå èçìåíÿåòñÿ

 

13. f=g \ inv_number_meb -> code_obj

Ïðîâåðÿåì: f |= inv_number_meb -> code_obj

[inv_number_meb]+f = inv_number_meb

Íåò => Ìíîæåñòâî ÔÇ íå èçìåíÿåòñÿ

 

14. f=g \ code_obj -> date, price

Ïðîâåðÿåì: f |= code_obj -> date, price

[code_obj]+f = code_obj, firm_inv, model_inv, firm_tec, model_tec,

firm_meb, model_meb, dlina, width, height, inventar, techno, mebel

Íåò => Ìíîæåñòâî ÔÇ íå èçìåíÿåòñÿ

 

15. f=g \ code_obj -> firm_inv, model_inv

Ïðîâåðÿåì: f |= code_obj -> firm_inv, model_inv

[code_obj]+f = code_obj, date, price, firm_tec, model_tec, firm_meb,

model_meb, dlina, width, height, arrival_object, techno, mebel

Íåò => Ìíîæåñòâî ÔÇ íå èçìåíÿåòñÿ

 

16. f=g \ code_obj -> firm_tec, model_tec

Ïðîâåðÿåì: f |= code_obj -> firm_tec, model_tec

[code_obj]+f = code_obj, date, price, firm_inv, model_inv, firm_meb,

model_meb, dlina, width, height, arrival_object, inventar, mebel

Íåò => Ìíîæåñòâî ÔÇ íå èçìåíÿåòñÿ

 

17. f=g \ code_obj -> firm_meb, model_meb, dlina, width, height

Ïðîâåðÿåì: f |= code_obj -> firm_meb, model_meb, dlina, width, height

[code_obj]+f = code_obj, date, price, firm_inv, model_inv, firm_tec,

model_tec, arrival_object, inventar, techno

Íåò => Ìíîæåñòâî ÔÇ íå èçìåíÿåòñÿ

 

18. f=g \ id_spis -> data

Ïðîâåðÿåì: f |= id_spis -> data

[id_spis]+f = id_spis, inv_number_inv, reason_inv, code_obj, date, price,

firm_inv, model_inv, firm_tec, model_tec, firm_meb, model_meb, dlina,

width, height, inv_number_tec, reason_tec, inv_number_meb,

reason_meb, invenum_inv, invenum_tec, invenum_meb, arrival_object,

inventar, techno, mebel, out_inventar, out_techno, out_mebel

Íåò => Ìíîæåñòâî ÔÇ íå èçìåíÿåòñÿ

 

19. f=g \ id_spis -> inv_number_inv, reason_inv

Ïðîâåðÿåì: f |= id_spis -> inv_number_inv, reason_inv

[id_spis]+f = id_spis, data, inv_number_tec, reason_tec, code_obj, date,

price, firm_inv, model_inv, firm_tec, model_tec, firm_meb, model_meb,

dlina, width, height, inv_number_meb, reason_meb, invenum_tec,

invenum_meb, arrival_object, inventar, techno, mebel, spisanie,

out_techno, out_mebel

Íåò => Ìíîæåñòâî ÔÇ íå èçìåíÿåòñÿ

 

20. f=g \ id_spis -> inv_number_tec, reason_tec

Ïðîâåðÿåì: f |= id_spis -> inv_number_tec, reason_tec

[id_spis]+f = id_spis, data, inv_number_inv, reason_inv, code_obj, date,

price, firm_inv, model_inv, firm_tec, model_tec, firm_meb, model_meb,

dlina, width, height, inv_number_meb, reason_meb, invenum_inv,

invenum_meb, arrival_object, inventar, techno, mebel, spisanie,

out_inventar, out_mebel

Íåò => Ìíîæåñòâî ÔÇ íå èçìåíÿåòñÿ

 

21. f=g \ id_spis -> inv_number_meb, reason_meb

Ïðîâåðÿåì: f |= id_spis -> inv_number_meb, reason_meb

[id_spis]+f = id_spis, data, inv_number_inv, reason_inv, code_obj, date,

price, firm_inv, model_inv, firm_tec, model_tec, firm_meb, model_meb,

dlina, width, height, inv_number_tec, reason_tec, invenum_inv,

invenum_tec, arrival_object, inventar, techno, mebel, spisanie,

out_inventar, out_techno

Íåò => Ìíîæåñòâî ÔÇ íå èçìåíÿåòñÿ

 

22. f=g \ Fam, Im, Otch, pol, dateborn, datevidachi, kemvidan, country,

city, street, numstreet, numflat, dolgnost -> passport

Ïðîâåðÿåì: f |= Fam, Im, Otch, pol, dateborn, datevidachi, kemvidan,

country, city, street, numstreet, numflat, dolgnost -> passport

[Fam, Im, Otch, pol, dateborn, datevidachi, kemvidan, country, city, street,

numstreet, numflat, dolgnost]+f = Fam, Im, Otch, pol, dateborn,

datevidachi, kemvidan, country, city, street, numstreet, numflat, dolgnost

Íåò => Ìíîæåñòâî ÔÇ íå èçìåíÿåòñÿ

 

23. f=g \ num_room -> passport

Ïðîâåðÿåì: f |= num_room -> passport

[num_room]+f = num_room

Íåò => Ìíîæåñòâî ÔÇ íå èçìåíÿåòñÿ

 

24. f=g \ num_zal -> inv_number_inv

Ïðîâåðÿåì: f |= num_zal -> inv_number_inv

[num_zal]+f = num_zal

Íåò => Ìíîæåñòâî ÔÇ íå èçìåíÿåòñÿ

 

25. f=g \ num_p -> inv_number_tec

Ïðîâåðÿåì: f |= num_p -> inv_number_tec

[num_p]+f = num_p, square, naznachenie, num_zal, type_zal, num_room,

passport, staff_pl, number, status_pl, staff_c, status_c, inv_number_inv,

code_obj, date, price, firm_inv, model_inv, firm_tec, model_tec, firm_meb,

model_meb, dlina, width, height, inv_number_meb, player, pomeshenie,

zal, room, invenum_inv, invenum_meb, arrival_object, inventar, techno,

mebel, fam, im, otch, pol, dateborn, datevidachi, kemvidan, country, city,

street, numstreet, numflat, dolgnost, person, coach

Íåò => Ìíîæåñòâî ÔÇ íå èçìåíÿåòñÿ

 

26. f=g \ num_p -> inv_number_meb

Ïðîâåðÿåì: f |= num_p -> inv_number_meb

[num_p]+f = num_p, square, naznachenie, num_zal, type_zal, num_room,

passport, staff_pl, number, status_pl, staff_c, status_c, inv_number_inv,

code_obj, date, price, firm_inv, model_inv, firm_tec, model_tec, firm_meb,

model_meb, dlina, width, height, inv_number_tec, player, pomeshenie, zal,

room, invenum_inv, invenum_tec, arrival_object, inventar, techno, mebel,

fam, im, otch, pol, dateborn, datevidachi, kemvidan, country, city, street,

numstreet, numflat, dolgnost, person, coach

Íåò => Ìíîæåñòâî ÔÇ íå èçìåíÿåòñÿ

 

27. f=g \ passport, fam, im, otch, pol, dateborn, datevidachi, kemvidan,

country, city, street, numstreet, numflat, dolgnost -> person

Ïðîâåðÿåì: f |= passport, fam, im, otch, pol, dateborn, datevidachi,

kemvidan, country, city, street, numstreet, numflat, dolgnost -> person

[passport, fam, im, otch, pol, dateborn, datevidachi, kemvidan, country,

city, street, numstreet, numflat, dolgnost]+f = passport, fam, im, otch, pol,

dateborn, datevidachi, kemvidan, country, city, street, numstreet, numflat,

dolgnost, staff_pl, number, status_pl, staff_c, status_c, player, coach

Íåò => Ìíîæåñòâî ÔÇ íå èçìåíÿåòñÿ

 

28. f=g \ passport, staff_pl, number, status_pl -> player

Ïðîâåðÿåì: f |= passport, staff_pl, number, status_pl -> player

[passport, staff_pl, number, status_pl]+f = passport, staff_pl, number,

status_pl, staff_c, status_c, fam, im, otch, pol, dateborn, datevidachi,

kemvidan, country, city, street, numstreet, numflat, dolgnost, person, coach

Íåò => Ìíîæåñòâî ÔÇ íå èçìåíÿåòñÿ

 

29. f=g \ pop_index, person_id, num_p -> populate

Ïðîâåðÿåì: f |= pop_index, person_id, num_p -> populate

[pop_index, person_id, num_p]+f = pop_index, person_id, num_p, square,

naznachenie, num_zal, type_zal, num_room, passport, staff_pl, number,

status_pl, staff_c, status_c, inv_number_inv, code_obj, date, price,

firm_inv, model_inv, firm_tec, model_tec, firm_meb, model_meb, dlina,

width, height, inv_number_tec, inv_number_meb, player, pomeshenie, zal,

room, invenum_inv, invenum_tec, invenum_meb, arrival_object, inventar,

techno, mebel, fam, im, otch, pol, dateborn, datevidachi, kemvidan,

country, city, street, numstreet, numflat, dolgnost, person, coach

Íåò => Ìíîæåñòâî ÔÇ íå èçìåíÿåòñÿ

 

30. f=g \ num_p, square, naznachenie -> pomeshenie

Ïðîâåðÿåì: f |= num_p, square, naznachenie -> pomeshenie

[num_p, square, naznachenie]+f = num_p, square, naznachenie, num_zal,

type_zal, num_room, passport, staff_pl, number, status_pl, staff_c,

status_c, inv_number_inv, code_obj, date, price, firm_inv, model_inv,

firm_tec, model_tec, firm_meb, model_meb, dlina, width, height,

inv_number_tec, inv_number_meb, player, zal, room, invenum_inv,

invenum_tec, invenum_meb, arrival_object, inventar, techno, mebel, fam,

im, otch, pol, dateborn, datevidachi, kemvidan, country, city, street,

numstreet, numflat, dolgnost, person, coach

Íåò => Ìíîæåñòâî ÔÇ íå èçìåíÿåòñÿ

 

31. f=g \ num_p, num_zal, type_zal -> zal

Ïðîâåðÿåì: f |= num_p, num_zal, type_zal -> zal

[num_p, num_zal, type_zal]+f = num_p, num_zal, type_zal, square,

naznachenie, num_room, passport, staff_pl, number, status_pl, staff_c,

status_c, inv_number_inv, code_obj, date, price, firm_inv, model_inv,

firm_tec, model_tec, firm_meb, model_meb, dlina, width, height,

inv_number_tec, inv_number_meb, player, pomeshenie, room,

invenum_inv, invenum_tec, invenum_meb, arrival_object, inventar,

techno, mebel, fam, im, otch, pol, dateborn, datevidachi, kemvidan,

country, city, street, numstreet, numflat, dolgnost, person, coach

Íåò => Ìíîæåñòâî ÔÇ íå èçìåíÿåòñÿ

 

32. f=g \ num_p, num_room -> room

Ïðîâåðÿåì: f |= num_p, num_room -> room

[num_p, num_room]+f = num_p, num_room, square, naznachenie,

num_zal, type_zal, passport, staff_pl, number, status_pl, staff_c, status_c,

inv_number_inv, code_obj, date, price, firm_inv, model_inv, firm_tec,

model_tec, firm_meb, model_meb, dlina, width, height, inv_number_tec,

inv_number_meb, player, pomeshenie, zal, invenum_inv, invenum_tec,

invenum_meb, arrival_object, inventar, techno, mebel, fam, im, otch, pol,

dateborn, datevidachi, kemvidan, country, city, street, numstreet, numflat,

dolgnost, person, coach

Íåò => Ìíîæåñòâî ÔÇ íå èçìåíÿåòñÿ

 

33. f=g \ tec_in, date_tec, num_p, inv_number_tec -> techno_in_pom

Ïðîâåðÿåì: f |= tec_in, date_tec, num_p, inv_number_tec ->

techno_in_pom

[tec_in, date_tec, num_p, inv_number_tec]+f = tec_in, date_tec, num_p,

inv_number_tec, square, naznachenie, num_zal, type_zal, num_room,

code_obj, date, price, firm_inv, model_inv, firm_tec, model_tec, firm_meb,

model_meb, dlina, width, height, passport, staff_pl, number, status_pl,

staff_c, status_c, inv_number_inv, inv_number_meb, player, pomeshenie,

zal, room, invenum_inv, invenum_tec, invenum_meb, arrival_object,

inventar, techno, mebel, fam, im, otch, pol, dateborn, datevidachi,

kemvidan, country, city, street, numstreet, numflat, dolgnost, person, coach

Íåò => Ìíîæåñòâî ÔÇ íå èçìåíÿåòñÿ

 

34. f=g \ meb_in, date_meb, num_p, inv_number_meb -> meb_in_pom

Ïðîâåðÿåì: f |= meb_in, date_meb, num_p, inv_number_meb ->

meb_in_pom

[meb_in, date_meb, num_p, inv_number_meb]+f = meb_in, date_meb,

num_p, inv_number_meb, square, naznachenie, num_zal, type_zal,

num_room, code_obj, date, price, firm_inv, model_inv, firm_tec, model_tec,

firm_meb, model_meb, dlina, width, height, passport, staff_pl, number,

status_pl, staff_c, status_c, inv_number_inv, inv_number_tec, player,

pomeshenie, zal, room, invenum_inv, invenum_tec, invenum_meb,

arrival_object, inventar, techno, mebel, fam, im, otch, pol, dateborn,

datevidachi, kemvidan, country, city, street, numstreet, numflat, dolgnost,

person, coach

Íåò => Ìíîæåñòâî ÔÇ íå èçìåíÿåòñÿ

 

35. f=g \ inv_in_id, date_inv, num_p, inv_number_inv -> inv_in_zal

Ïðîâåðÿåì: f |= inv_in_id, date_inv, num_p, inv_number_inv -> inv_in_zal

[inv_in_id, date_inv, num_p, inv_number_inv]+f = inv_in_id, date_inv,

num_p, inv_number_inv, square, naznachenie, num_zal, type_zal,

num_room, code_obj, date, price, firm_inv, model_inv, firm_tec, model_tec,

firm_meb, model_meb, dlina, width, height, passport, staff_pl, number,

status_pl, staff_c, status_c, inv_number_tec, inv_number_meb, player,

pomeshenie, zal, room, invenum_inv, invenum_tec, invenum_meb,

arrival_object, inventar, techno, mebel, fam, im, otch, pol, dateborn,

datevidachi, kemvidan, country, city, street, numstreet, numflat, dolgnost,

person, coach

Íåò => Ìíîæåñòâî ÔÇ íå èçìåíÿåòñÿ

 

36. f=g \ inv_number_inv, code_obj -> invenum_inv

Ïðîâåðÿåì: f |= inv_number_inv, code_obj -> invenum_inv

[inv_number_inv, code_obj]+f = inv_number_inv, code_obj, date, price,

firm_inv, model_inv, firm_tec, model_tec, firm_meb, model_meb, dlina,

width, height, arrival_object, inventar, techno, mebel

Íåò => Ìíîæåñòâî ÔÇ íå èçìåíÿåòñÿ

 

37. f=g \ inv_number_tec, code_obj -> invenum_tec

Ïðîâåðÿåì: f |= inv_number_tec, code_obj -> invenum_tec

[inv_number_tec, code_obj]+f = inv_number_tec, code_obj, date, price,

firm_inv, model_inv, firm_tec, model_tec, firm_meb, model_meb, dlina,

width, height, arrival_object, inventar, techno, mebel

Íåò => Ìíîæåñòâî ÔÇ íå èçìåíÿåòñÿ

 

38. f=g \ inv_number_meb, code_obj -> invenum_meb

Ïðîâåðÿåì: f |= inv_number_meb, code_obj -> invenum_meb

[inv_number_meb, code_obj]+f = inv_number_meb, code_obj, date, price,

firm_inv, model_inv, firm_tec, model_tec, firm_meb, model_meb, dlina,

width, height, arrival_object, inventar, techno, mebel

Íåò => Ìíîæåñòâî ÔÇ íå èçìåíÿåòñÿ

 

39. f=g \ code_obj, date, price -> arrival_object

Ïðîâåðÿåì: f |= code_obj, date, price -> arrival_object

[code_obj, date, price]+f = code_obj, date, price, firm_inv, model_inv,

firm_tec, model_tec, firm_meb, model_meb, dlina, width, height, inventar,

techno, mebel

Íåò => Ìíîæåñòâî ÔÇ íå èçìåíÿåòñÿ

 

40. f=g \ code_obj, firm_inv, model_inv -> inventar

Ïðîâåðÿåì: f |= code_obj, firm_inv, model_inv -> inventar

[code_obj, firm_inv, model_inv]+f = code_obj, firm_inv, model_inv, date,

price, firm_tec, model_tec, firm_meb, model_meb, dlina, width, height,

arrival_object, techno, mebel

Íåò => Ìíîæåñòâî ÔÇ íå èçìåíÿåòñÿ

 

41. f=g \ code_obj, firm_tec, model_tec -> techno

Ïðîâåðÿåì: f |= code_obj, firm_tec, model_tec -> techno

[code_obj, firm_tec, model_tec]+f = code_obj, firm_tec, model_tec, date,

price, firm_inv, model_inv, firm_meb, model_meb, dlina, width, height,

arrival_object, inventar, mebel

Íåò => Ìíîæåñòâî ÔÇ íå èçìåíÿåòñÿ

 

42. f=g \ firm_meb, model_meb, dlina, width, height -> mebel

Ïðîâåðÿåì: f |= firm_meb, model_meb, dlina, width, height -> mebel

[firm_meb, model_meb, dlina, width, height]+f = firm_meb, model_meb,

dlina, width, height

Íåò => Ìíîæåñòâî ÔÇ íå èçìåíÿåòñÿ

 

43. f=g \ id_spis, data -> spisanie

Ïðîâåðÿåì: f |= id_spis, data -> spisanie

[id_spis, data]+f = id_spis, data, inv_number_inv, reason_inv, code_obj,

date, price, firm_inv, model_inv, firm_tec, model_tec, firm_meb,

model_meb, dlina, width, height, inv_number_tec, reason_tec,

inv_number_meb, reason_meb, invenum_inv, invenum_tec, invenum_meb,

arrival_object, inventar, techno, mebel, out_inventar, out_techno,

out_mebel

Íåò => Ìíîæåñòâî ÔÇ íå èçìåíÿåòñÿ

 

44. f=g \ id_spis, inv_number_inv, reason_inv -> out_inventar

Ïðîâåðÿåì: f |= id_spis, inv_number_inv, reason_inv -> out_inventar

[id_spis, inv_number_inv, reason_inv]+f = id_spis, inv_number_inv,

reason_inv, code_obj, date, price, firm_inv, model_inv, firm_tec,

model_tec, firm_meb, model_meb, dlina, width, height, data,

inv_number_tec, reason_tec, inv_number_meb, reason_meb,

invenum_inv, invenum_tec, invenum_meb, arrival_object, inventar,

techno, mebel, spisanie, out_techno, out_mebel

Íåò => Ìíîæåñòâî ÔÇ íå èçìåíÿåòñÿ

 

45. f=g \ id_spis, inv_number_tec, reason_tec -> out_techno

Ïðîâåðÿåì: f |= id_spis, inv_number_tec, reason_tec -> out_techno

[id_spis, inv_number_tec, reason_tec]+f = id_spis, inv_number_tec,

reason_tec, code_obj, date, price, firm_inv, model_inv, firm_tec,

model_tec, firm_meb, model_meb, dlina, width, height, data,

inv_number_inv, reason_inv, inv_number_meb, reason_meb, invenum_inv,

invenum_tec, invenum_meb, arrival_object, inventar, techno, mebel,

spisanie, out_inventar, out_mebel

Íåò => Ìíîæåñòâî ÔÇ íå èçìåíÿåòñÿ

 

46. f=g \ id_spis, inv_number_meb, reason_meb -> out_mebel

Ïðîâåðÿåì: f |= id_spis, inv_number_meb, reason_meb -> out_mebel

[id_spis, inv_number_meb, reason_meb]+f = id_spis, inv_number_meb,

reason_meb, code_obj, date, price, firm_inv, model_inv, firm_tec,

model_tec, firm_meb, model_meb, dlina, width, height, data,

inv_number_inv, reason_inv, inv_number_tec, reason_tec, invenum_inv,

invenum_tec, invenum_meb, arrival_object, inventar, techno, mebel,

spisanie, out_inventar, out_techno

Íåò => Ìíîæåñòâî ÔÇ íå èçìåíÿåòñÿ

 

47. f=g \ number -> passport, fam, im, otch, pol, dateborn, datevidachi,

kemvidan, country, city, street, numstreet, numflat, dolgnost

Ïðîâåðÿåì: f |= number -> passport, fam, im, otch, pol, dateborn,

datevidachi, kemvidan, country, city, street, numstreet, numflat, dolgnost

[number]+f = number

Íåò => Ìíîæåñòâî ÔÇ íå èçìåíÿåòñÿ

 

48. f=g \ status_c -> passport, fam, im, otch, pol, dateborn, datevidachi,

kemvidan, country, city, street, numstreet, numflat, dolgnost

Ïðîâåðÿåì: f |= status_c -> passport, fam, im, otch, pol, dateborn,

datevidachi, kemvidan, country, city, street, numstreet, numflat, dolgnost

[status_c]+f = status_c

Íåò => Ìíîæåñòâî ÔÇ íå èçìåíÿåòñÿ

 

49. f=g \ passport, staff_c, status_c -> coach

Ïðîâåðÿåì: f |= passport, staff_c, status_c -> coach

[passport, staff_c, status_c]+f = passport, staff_c, status_c, staff_pl,

number, status_pl, player, fam, im, otch, pol, dateborn, datevidachi,

kemvidan, country, city, street, numstreet, numflat, dolgnost, person

Íåò => Ìíîæåñòâî ÔÇ íå èçìåíÿåòñÿ

 

 

Íåèçáûòî÷íîå ïîêðûòèå

 

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

 

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, fam, im, otch, pol, dateborn, datevidachi, kemvidan, country,

city, street, numstreet, numflat, dolgnost -> person

passport, staff_pl, number, status_pl -> player

pop_index, person_id, num_p -> populate

num_p, square, naznachenie -> pomeshenie

num_p, num_zal, type_zal -> zal

num_p, num_room -> room

tec_in, date_tec, num_p, inv_number_tec -> techno_in_pom

meb_in, date_meb, num_p, inv_number_meb -> meb_in_pom

inv_in_id, date_inv, num_p, inv_number_inv -> inv_in_zal

inv_number_inv, code_obj -> invenum_inv

inv_number_tec, code_obj -> invenum_tec

inv_number_meb, code_obj -> invenum_meb

code_obj, date, price -> arrival_object

code_obj, firm_inv, model_inv -> inventar

code_obj, firm_tec, model_tec -> techno

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

id_spis, data -> spisanie

id_spis, inv_number_inv, reason_inv -> out_inventar

id_spis, inv_number_tec, reason_tec -> out_techno

id_spis, inv_number_meb, reason_meb -> 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

passport, staff_c, status_c ->coach