többértékű függőség
Mivel előadók, akik olvasni a témában, és a könyveket ajánlott a témában, nem függnek egymástól, ez a kapcsolat magában foglalja a több értékes kapcsolatot. Ez a hozzáállás számos rendellenességet. Ezek közül az egyik, hogy ha azt akarjuk, hogy ajánlani egy új könyv, amelynek mértéke a Mata, mi kell hozzá annyi új nyilvántartás az előadók Mata és fordítva.
Először is, ez felesleges. És másodszor, az ilyen jellegű kapcsolat kell fejleszteni egy olyan kiegészítő mechanizmus integritását. Az optimális megoldás az lehet bontani két kapcsolatok fejlécek és. Ez bomlás lesz 4NF. Megengedhetőségével bomlási tétel megállapítja Fagin (cm. Alább).
csatlakoztatott pár
Fagin azt mutatta, hogy attól függően, többértékű formában csatlakoztatva pár (a jelölést definiált):
Ezért gyakran együtt szimbolikus jelölés:
funkcionális függőségek
Minden funkcionális függés sok értékű. Más szóval, a funkcionális függőség - többértékű függőség, amelyben több függő megfelelő értékeket egy előre meghatározott értéket, a meghatározó, mindig készüléket.
1977-ben, Bury, Fagin és Howard találta, hogy Armstrong következtetési szabályt lehet méretezni, és átment a funkcionális és a többértékű függőségek.
Tegyük fel, hogy az R hányados (R) és több attribútumok A. B. C. D ⊆ R. A rövidség kedvéért, ahelyett, X ∩ Y egyszerűen levelet X Y.
1. csoport: Alapvető szabályok.
2. csoport: megjeleníti számos további szabályokat, amelyek leegyszerűsítik a kimeneti több értékes függőségek.
3. csoport: a kapcsolat jön létre a funkcionális és többértékű függőségek.
4. csoport: a funkcionális függőségek származó fenti szabályokat.
Következtetési szabályt Armstrong és itt meghatározott csoportok szabályok 1. és 3. alkossanak (használja őket, tudjuk levezetni az összes többi többértékű függőségek adatok által jelzett azok set) és megbízható ( „többlet” többértékű függőségek nem lehet arra következtetni, levezethető a többértékű függőség érvényes, ahol ez igaz beállítva többértékű függőségek, amelyből származik), egy sor következtetési szabályok többértékű típusa szerint.
bomlása kapcsolatok
tétel Fagin
Tegyük fel, hogy adott arány R (A. B. C). A r arány egyenlő vegyülethez annak nyúlványok R [A. B] és R [A. C], ha, és csak akkor, ha az r arány végre nem-triviális függőség többértékű A ↠ B | C.
Ez a tétel egy szigorúbb változata tétel Heath.