| Көпмәнді тәуелділік ұғымын енгізейік. Егер берілген Х атрибутының мәніне Ү(Х--У) атрибуты мәндерінен тұратын жинақ сәйкес келсе, көпмәнді тәуелділік болады. Егер қатынаста көпмәнді тәуелділік болса, онда қатынас сызбасы 4ҚФда болады.
Тәуелділіктер тривиалды және тривиалды емес көпмәнді болып бөлінеді.
Тривиалды деп ҮІХ немесе XUY=R болатын көпмәнді Х-Ү тәуелділігі аталады, мұндағы R – қарастырушы қатынас.
Тривиалды көп мәнді тәуелділік 4ҚФ-ны бұзбайды.Егер осы екі шарттың кем дегенде біреуі орындалмаса(Y,X жиынтығы болмаса немесе XƲY барлық R атрибуттарынан тұрмаса), онда мұндай көп мәнді тәуелділік тривалды емес деп аталады.
Достарыңызбен бөлісу: |
