14.2 Жобалау/бірігу тәуелділіктері және бесінші қалыпты форма

4NF-ке қатынастарды келтіру оның шығынсызкоспозициясын екі жобаға жоспарлайды (2NF, 3NF және BCNF жағдайларындағыдай). Бірақ, шығынсыз декомпозиция мүмкін емес болған кездер де болады, шығынсыз декомпозицияны үлкен санды жобаларға да қолдануға болады. n-декомпозицияланатын қатынас деп n-қатынасқа шығынсыз декомпозицияланатын қатынас аталады. Осыған дейін 2 декомпозицияланатын қатынастармен кездестік.

N-декомпозицияланатын қатынас

Оны анықтамадан бастайық

R айнымалы қатынасының атрибуттарында A және B MVD AB тревиалды деп аталады, егер AB немесе A UNION BR қатынасының атауымен сәйкес келеді.

Тривиалды MVD үнемі қвнвғвттвндырылады. AB кезінде ол тревиалды FD түрленеді. A UNION B = H_R жағдайында көпмәнді тәуелділік талабы сақталады.

n > 2 болғанда n-декомпозицияланатын қатынастың ҚЫЗМ_ПРО_ТАПСЫР айнымалы қатынасының беінші нұсқасын қарастырайық, ондағы {ҚЫЗМ_НОМ, ПРО_НОМ, ҚЫЗМ_ТАПСЫР} мүмкін кілті және нетривиалды MVD болмайды. Айнымалы қатынас мәнінің мысалы 9.3 суретте көрсетілген.

14.3 суретте көрсетілгендей ҚЫЗМ_ПРО_НОМ және ПРО_НОМ_ТАПСЫР жобасының жасанды бірігу нәтижесі ҚЫЗМ_ПРО_ТАПСЫР шығыс қатынасының денесіне сәйкес келеді, бірақ, онда ҚЫЗМ_ТАПСЫР жобасының жасанды бірігуі кезіндегі соңғы орындалудан кейін жойылатын бір ғана кортеж болады. Шығыс қатынас үш жобаның жасанды бірігуінің кез келген ретінде қалпына келеді.

Жобалау/бірігу тәуелділігі

ҚЫЗМ_ПРО_ТАПСЫР қатынасының мәні ҚЫЗМ_ПРО_НОМ, ПРО_НОМ_ТАПСЫР және ҚЫЗМ_ ТАПСЫР жобаларының жасанды бірігу жолымен шығынсыз қалпына келесісі қағыдаға (B_СПЗ, B_СПН, B_ПНЗ және B_СЗ сәйкесінше ҚЫЗМ_ПРО_ТАПСЫР, ҚЫЗМ_ПРО_НОМ, ПРО_НОМ_ТАПСЫР және ҚЫЗМ_ТАПСЫР қатынастарының айнымалы мәндерін бейнелейтін) эквивалентті келеді:

IF ({сн, пн} B_СПН AND {пн, сз} B_СПЗ AND {сн, сз} B_СЗ)

THEN {сн, пн, сз} B_СПЗ

ҚЫЗМ_ПРО_ТАПСЫР қатынасын шығынсыз қалпына келтіру мүмкіндігі ҚЫЗМ_ПРО_НОМ, ПРО_НОМ_ТАПСЫР және ҚЫЗМ_ТАПСЫР жобасының жасанды бірігу жолымен болуы кез келген жіберілетін айнымалы ҚЫЗМ_ПРО_ТАПСЫР қатынастың келесі шектеулерін ұстану керек:

IF ({сн₁, пн₁, сз₂} B_СПЗ AND {сн₂, пн₁, сз₁} B_СПЗ

AND {сн₁, пн₂, сз₁} B_СПЗ)

THEN {сн₁, пн₁, сз₁} B_СПЗ

Бұл нақты әлемнің қарапайым шектеуі, ҚЫЗМ_ПРО_ТАПСЫР қатынасы үшін келесі түрде жасанды тілде қалыптасуы мүмкін:

Егер сн номерлі қызметші пн жобаға қатысса, және пн жобада сз тапсырмасы орындалса және сн номерлі қызметші сз тапсырманы орындаса, онда сн номерлі қазметші пн жобасында сз тапсырмасын орындайды.

Жалпы жағдайда мұндай шектеу жобалау/бірігу тәуелділігі деп аталады. Бұл формалды анықтама.

R айнымалы қатынасы берілсін және A, B, …, Z R атауының туынды ішкі жиыны болсын. R айнымалы қатынасы жобалау/бірігу тәуелділігін қанағаттандырады (Project-Join Dependency – PJD) *( A, B, …, Z) сонда кез келген жіберілетін R қатынасының r мәнін A, B, …, Z атрибуттарына жасанды бірігу/жобалау жолымен алуға болады.