Tudd Intuíció, előadás, a hivatalos berendezés optimalizálására áramkörök kapcsolatok

Abstract: Az előadás fordítják optimalizálása kapcsolatok alapuló rendszerek formális módszerek relációs adatbázis elmélet. Tisztában van például a táblázat harmadik normál forma, az optimális szám mutatók. A problémák az adatok integritását egy relációs adatbázisban.

A cél az előadás. Az a lehetőség, hatékony formális módszerek használata építésére optimális (az egyes paraméterek) relációs adatbázis szerkezete révén a kapcsolatok normalizálását rendszereket.

8.1. A probléma a választás racionális rendszerek kapcsolatok

Az elvi sémája képviselet formájában a relációs modell lehetséges rendszerek különböző választási kapcsolatot. Néhány kiválasztott címzett előző részekben (Sec. 6.2.3), míg mások állítjuk össze (vagy partíció) néhány egyesület rendszereket. A helyes választás rendszerek kialakítását, ami a fogalmi keret nagyrészt a működés hatékonyságát az adatbázis függ.

Vegyünk például egy külön rendszerben kapcsolatok és elemzik annak hiányosságait. Tegyük fel, hogy az adatok a diákok, karok, specialitások szerepelnek a táblázatban az alábbi rajzok: Student (Diákigazolvány, Last name, kar neve, ill specialitás).

Ez a rendszer az alábbi következményekkel jár hátrányokkal kapcsolatok megfelelő adatbázis:

• Párhuzamos információk (redundancia). Beiratkozott hallgatók ugyanazon az osztályon, majd ismételje meg a nevét, a kari. A különböző karok fogják ismételni specialitás.
• Lehetséges inkonzisztencia (frissítése anomália). Ha például megváltoztatja a nevét, a különlegesség, akkor változtassa meg egyetlen tuple (egy hallgató), meg kell változtatni az összes többi sorokat, ahol jelen van.
• Lehetséges az adatvesztést (törlés anomáliák). Ha töröl információkat minden belépő hallgatók egy bizonyos speciális, elveszítjük az összes információ a specialitása.
• Lehetséges nem vételéről az információt az adatbázisba (befogadás anomáliák). Az adatbázis információ lesz a hiányzó adatokat a szakma, ha nincsenek diák iratkozott be.

Az elmélet a relációs adatbázisok vannak formális módszerek felépítésének relációs adatbázis modell. ahol nincs redundancia és frissítés anomáliákat. eltávolítása és a befogadás.

Normalizálás. Első normálforma.

Építése variáns racionális rendszerek (amelyek jobb tulajdonságokkal kapcsolási műveletek, módosítását és törlését, mint az összes többi áramkör készlet) által végzett úgynevezett normalizáció áramkör kapcsolatot. A normalizálás végzik több lépésben. A kezdeti szakaszban kapcsolat rendszernek kell lennie az első normál forma (1NF).

Ratio első normál forma. Ha minden jó tulajdonsága a kapcsolat veszi egyszerű értékek (atomi vagy oszthatatlan), nem halmaz, vagy tuple több elemi összetevők.

Tekintsük a következő példát.

Most a kereszteződésekben a minden sorban és minden oszlop ugyanazt az értéket, és ezért ez a táblázat első normál formában.

Következő arány. mutatja be az első normál forma. egymás után alakítjuk a második és a harmadik normál forma. A folyamat építésének a második és a harmadik a normál formák leírandó a következő alfejezetekben. Bizonyos feltételek mellett a data-harmadik normál forma a kívánt legjobb megoldás.

Ha ezek a feltételezések nem teljesülnek, a normalizációs folyamat folytatódik, és az arány alakítjuk a negyedik és ötödik normál formák. Építőipari megfelelő formáinak a szakirodalomban leírt és a könyv nem tekinthető.

Mielőtt a építésének második normál formában. meg kell határozni a számos formális fogalmak.

8.2. Funkcionális függőségek (függőségek között az attribútumok a kapcsolat)

A funkcionális függés az arány a R - a kimutatás a forma „Ha két tuple R egybeesik attribútumuk (. Azaz, a tuple vannak kölcsönösen megfelelő komponensekkel azonos értéket minden egyes attribútum a készlet X), akkor meg kell egyeznie, és attribútumok . Formálisan ez a reláció készletek írásbeli kifejezés X -> Y. és megállapítja, hogy az X funkcionálisan meghatározza Y. gyakrabban használják igénylése: X funkcionálisan meghatározza Y vagy Y jelentése funkcionálisan függ X (jelöljük X -> Y), ha, és csak akkor, ha az egyes edik értékét X beállított R arány van kötve egy beállított érték Y arány R. Más szavakkal, ha a két egybeesik R tuple értéke X. egybeesnek érdemben Y.

Megjegyzés. Általánosságban elmondható, hogy a „hozzáállás” két dolgot jelent:

• arány, mint egy változó, amely különféle értékeket vehet fel (asztal sorokba és oszlopokba, amelyek különböző értékeket lehet beírni);
• hozzáállás, mint egy sor konkrét értékeket (asztal tele tétel).

Funkcionális kapcsolatok jellemzik az összes kapcsolatot, amelyek értékesek lehetnek rendszerek R arány elvileg. Így az egyetlen módja annak, hogy melyik az a funkcionális függőség - gondosan elemezni szemantikája (jelentése) tulajdonítja.

Funkcionális függőségek, különösen az integritás korlátok, ezért célszerű ellenőrizni őket, amikor az adatbázis frissítése.

Egy példa a funkcionális függőségeket kapcsolatban vizsgálat listája