a, kpp_ka -> * kod_val, name_val, kurs -> * Малюнок 2.5 - ненадлишкових покриття
.5.2 Побудова леворедуцірованного покриття
Етапи побудови леворедуцірованного покриття представлені на малюнку 2.6 - 2.7.
1. kod_nom, name_nom, kod_str, kod_proiz, ed_izm, ves -> * 1.1. kod_nom, name_nom, kod_str, kod_proiz, ed_izm, ves -> * Перевіряємо: g | = kod_nom, kod_str, kod_proiz, ed_izm, ves -> * Так => безліч ФЗ змінюється 1.2. kod_nom, kod_str, kod_proiz, ed_izm, ves -> * Перевіряємо: g | = kod_nom, kod_proiz, ed_izm, ves -> * Так => безліч ФЗ змінюється 1.3. kod_nom, kod_proiz, ed_izm, ves -> * Перевіряємо: g | = kod_nom, ed_izm, ves -> * Так => безліч ФЗ змінюється 1.4. kod_nom, ed_izm, ves -> * Перевіряємо: g | = kod_nom, ves -> * Так => безліч ФЗ змінюється 1.5. kod_nom, ves -> * Перевіряємо: g | = kod_nom -> * Так => безліч ФЗ змінюється 1.6. kod_nom, ves -> * Перевіряємо: g | = kod_nom -> * Так => безліч ФЗ змінюється 2. kod_ka, name_ka, city_ka, street_ka, house_ka, office_ka, phone_ka, inn_ka, kpp_ka -> * 2.1. kod_ka, name_ka, city_ka, street_ka, house_ka, office_ka, phone_ka, inn_ka, kpp_ka -> * Перевіряємо: g | = kod_ka, city_ka, street_ka, house_ka, office_ka, phone_ka, inn_ka, kpp_ka -> * Так => безліч ФЗ змінюється Малюнок 2.6 - Етапи побудови леворедуцірованного покриття
2.2. kod_ka, city_ka, street_ka, house_ka, office_ka, phone_ka, inn_ka, kpp_ka-> * Перевіряємо: g | = kod_ka, street_ka, house_ka, office_ka, phone_ka, inn_ka, kpp_ka -> * Так => безліч ФЗ змінюється 2.3. kod_ka, street_ka, house_ka, office_ka, phone_ka, inn_ka, kpp_ka -> * Перевіряємо: g | = kod_ka, house_ka, office_ka, phone_ka, inn_ka, kpp_ka -> * Так => безліч ФЗ змінюється 2.4. kod_ka, house_ka, office_ka, phone_ka, inn_ka, kpp_ka -> * Перевіряємо: g | = kod_ka, office_ka, phone_ka, inn_ka, kpp_ka -> * Так => безліч ФЗ змінюється 2.5. kod_ka, office_ka, phone_ka, inn_ka, kpp_ka -> * Перевіряємо: g | = kod_ka, phone_ka, inn_ka, kpp_ka -> * Так => безліч ФЗ змінюється 2.6. od_ka, phone_ka, inn_ka, kpp_ka -> * Перевіряємо: g | = kod_ka, inn_ka, kpp_ka -> * Так => безліч ФЗ змінюється 2.7. kod_ka, inn_ka, kpp_ka -> * Перевіряємо: g | = kod_ka, kpp_ka -> * Так => безліч ФЗ змінюється 2.8. kod_ka, kpp_ka -> * Перевіряємо: g | = kod_ka -> * Так => безліч ФЗ змінюється 3. kod_val, name_val, kurs -> * 3.1. kod_val, name_val, kurs -> * Перевіряємо: g | = kod_val, kurs -> * Так => безліч ФЗ змінюється 3.2. kod_val, kurs -> * Перевіряємо: g | = kod_val -> * Так => безліч ФЗ змінюється Малюнок 2.7 - Етапи побудови леворедуцірованного покриття
Леворедуцірованное покриття представлено на малюнку 2.7.
kod_nom -> name_nom, kod_str, kod_proiz, ed_izm, ves kod_pr -> kod_tp, kod_nom, pri...
