. A relációs adatmodell az... A normalizáció meghatározása, fogalma, szerkezete és elmélete

A relációs adatmodell a paraméterkezelés egyedülálló megközelítése a struktúra és a nyelv használatával az egységrend predikátum logikájának megfelelően. Először 1969-ben írta le Codd angol tudós. Ebben a projektben, az összes paramétert meghatározott kapcsolatokba csoportosított sorokként mutatjuk be.

A cél...

...a modell egy deklaratív módszer a modellek és lekérdezések megadására.

A felhasználók közvetlenül megjegyzik, hogy az adatbázis milyen információkat tartalmaz, és milyen elméletet akarnak tőle. Ezenkívül lehetővé teszi az adatbázis-kezelő rendszer szoftverének, hogy gondoskodjon a tároláshoz szükséges struktúrák leírásáról. A lekérdezések megválaszolásához szükséges információ-visszakeresési eljárás szintén fontos.

A legtöbb RBD SQL adatdefiníciókat és keresési nyelvet használ. Ezek a rendszerek megvalósítják, mit lehet kell tekinteni, mint egy mérnöki közelítés a relációs modell.

Az SQL adatbázis séma táblázata megfelel a predikátum változónak. A kulcskorlátok és az SQL lekérdezések megfelelnek a predikátumoknak.

Az ilyen adatbázisok azonban sok részletben eltérnek a relációs modelltől, Codd pedig hevesen ellenezte az eredeti elveket veszélyeztető változásokat.

Áttekintés

A relációs adatmodell alapgondolata az, hogy a teljes adatbázist predikátumkészletként írja le a változók végső összetevőjére, amely leírja a lehetséges értékek és kombinációik korlátait. A tartalom egy adott időpontban véges (logikai) modell. Vagyis egy kapcsolatkészlet, egy predikátumváltozónként, hogy minden összetevő teljesüljön. Pontosan ez a relációs adatmodell.

az alternatíva

Más modellek hierarchikus és hálózati rendszerek. Néhányuk régebbi architektúrákat használva továbbra is népszerű a nagy volumenű adatközpontokban. Vagy olyan esetekben, amikor a meglévő rendszerek annyira összetettek és elvontak, hogy a relációs modell használatával való áttérés megfizethetetlenül drága lesz. Azt is meg kell jegyezni, az új objektum-orientált adatbázisok.

Végrehajtás

Számos kísérlet történt az RMD valódi materializációjának megszerzésére, amelyet eredetileg a Codd határozott meg, és más tudósok magyaráztak.

Az adatábrázolás relációs modellje volt a fő, amelyet formális matematikai kifejezésekkel írtak le. Hierarchikus és hálózati bázisok léteztek a relációs rendszerek előtt, de specifikációik viszonylag informálisak voltak. Az RMD meghatározása után a szakértők számos kísérletet tettek a különböző modellek összehasonlítására és kontrasztjára - ez a korai rendszerek szigorúbb leírásának megjelenéséhez vezetett. Bár a hierarchikus és hálózati adatbázisok Adatkezelési interfészeinek eljárási jellege korlátozta a formalizálás lehetőségeit.

Témák

A relációs adatmodell fogalmának alapvető feltételezése az, hogy mindegyik matematikai formában jelenik meg "modell" - tipikus kapcsolatok, "" - párkapcsolat, amely több tartomány derékszögű szorzatának részhalmaza. A matematikai modellben az ilyen adatokkal kapcsolatos érvelést kétjegyű predikátum logikában hajtják végre, ami azt jelenti, hogy minden mondathoz két lehetséges becslés létezik: igaz vagy hamis (és nincs harmadik érték, például Ismeretlen vagy alkalmazhatatlan, amelyek mindegyike gyakran társul a 0 fogalmához). Az adatokat kalkulus vagy algebra segítségével dolgozzák fel, amelyek kifejezőképességükben egyenértékűek.

Adatmodellek típusai, relációs adatmodell

Az RMD lehetővé teszi a fejlesztő számára az információk következetes, logikus ábrázolását. Mindez úgy érhető el, hogy a megadott korlátozásokat belefoglalja az adatbázis-projektbe, amelyet általában logikai sémának neveznek. Az elmélet egy modell normalizálási folyamat kidolgozása, amelynek során egy bizonyos kívánt tulajdonságokkal rendelkező projekt kiválasztható logikailag egyenértékű alternatívák halmazából. Az access tervekben és más implementációkban és műveletekben a részleteket a DBMS motor dolgozza fel, és nem jelennek meg a logikai modellben. Ez ellentétben áll a szokásos gyakorlattal, amelyben a teljesítményhangolás gyakran megköveteli a logikai funkció módosítását.

Az alapvető relációs adatmodell egy építőelemet képvisel — egy tartományt vagy információtípust, általában minimálisra csökkentve. A tuple az attribútumértékek rendezett halmaza. És ezek viszont kölcsönös név-és típuspár. Ez lehet skaláris érték vagy összetettebb változat.

A reláció a fejlécből és a testből áll

, az első egy attribútumkészlet.

A test (az n-edik relációval) egy sor sor.

Az érintés címe Az egyes struktúrák témája is.

A relációs adatmodell a halmazként definiálva n-sorozatok. Mind a matematikában, mind az MRD-ben a halmaz egyedi, nem duplikált elemek rendezetlen gyűjteménye, bár egyes DBM-EK következetességet írnak elő adataikra. A matematikában a kettősnek van rendje, és lehetővé teszi a duplikációt. vagy E. F. A Codd eredetileg ezt a matematikai definíciót használva hozta létre a sorokat.

Később az egyik csodálatos ötlet E. F. A codda az volt, hogy az attribútumnevek használata megrendelés helyett sokkal kényelmesebb lenne (általában) egy kapcsolatalapú számítógépes nyelven. Ez a kijelentés ma is hasznos. Bár a koncepció megváltozott, a "tuple" nevet nem alakították át. Ennek a megkülönböztető tulajdonságnak azonnali és fontos következménye, hogy a relációs modellben a derékszögű termék kommutatívvá válik.

A táblázat a kapcsolat általánosan elfogadott vizuális ábrázolása. A tuple hasonló a karakterlánc fogalmához.

A Relvar egy bizonyos típusú érintő megnevezett változója, amelyhez mindenkor valamilyen kapcsolat áll fenn az ilyen típusú hozzá van rendelve, bár a nézet nulla sorokat tartalmazhat.

A relációs adatmodell alapjai: minden információt a kapcsolat információinak értékei képviselnek. Ezen elv szerint a relációs adatbázis relvárok halmaza, és az egyes lekérdezések eredménye érintőként jelenik meg.

A relációs adatbázis konzisztenciáját nem az azt használó alkalmazásokba épített szabályok biztosítják, hanem a logikai séma részeként deklarált és a DBMS által az összes alkalmazáshoz megvalósított korlátozások. A korlátozásokat a relációs összehasonlító operátorok, amelyek közül csak egy részhalmaz (⊆), elméletileg elegendő. A gyakorlatban várhatóan számos hasznos rövidítés lesz elérhető, amelyek közül a jelöltkulcsok és a külső forráskorlátok a legfontosabbak. Pontosan erről szól a relációs adatmodell értelmezése.

Az RMD teljes körű értékelése érdekében meg kell érteni a tervezett értelmezést kapcsolat formájában.

Az érintés testét néha kiterjesztésnek nevezik. Ez azért van, mert úgy kell értelmezni, hogy bizonyos predikátum növekedését képviseli. Ez egy sor valódi mondat, amely úgy alakítható ki, hogy minden szabad változót egy névvel helyettesítünk.

Az objektum-relációs adatmodellek között egy-egy megfelelés van. A relációs test minden egyes duplája attribútumértékeket biztosít a predikátum példányának létrehozásához az egyes Szabad változók helyettesítésével. . Az eredmény egy olyan állítás, amelyet igaznak tekintünk, mivel a tuple megjelenik a relációs testben. Éppen ellenkezőleg, minden olyan folyamat, amelynek címe megfelel a kapcsolat nevének, de amely nem jelenik meg a testben, hamisnak tekinthető.

Ezt a feltételezést zárt világ hipotézisnek nevezik. Gyakran megsértik a gyakorlati adatbázisokban, ahol a tuple hiánya azt jelentheti, hogy a megfelelő mondat igazsága ismeretlen. Például bizonyos fogalmak ("János", "spanyol") hiánya a nyelvtudás táblázatában nem feltétlenül bizonyítja, hogy egy John nevű fiú nem beszél spanyolul.

Alkalmazás adatbázisokhoz, normalizációs elmélet

A tipikus relációs RMD-ben használt információ tárgya lehet egész számok halmaza, dátumokat alkotó karakterláncok halmaza, vagy két logikai érték igaz és hamis stb. Ezeknek a számoknak a megfelelő nevei lehetnek karakterláncok nevekkel "Index", "Végezze el a szükséges munkát", "Idő", "Logikai érték" és így tovább és így tovább.

Fontos azonban megérteni, hogy a kapcsolatelmélet nem határozza meg, hogy mely típusokat kell támogatni. És valóban igaz, jelenleg várható, hogy a rendelkezések a rendszer által biztosított beépítettek mellett a felhasználói alanyok számára is elérhetők lesznek.

Ezt a kifejezést használják elméletben arra, amit általában oszlopnak hívnak. Hasonlóképpen, a tangencia elméleti kifejezés helyett általában egy táblázatot használnak (bár az SQL-ben ez egyáltalán nem szinonimája a relációnak). A táblázat adatszerkezete az oszlopdefiníciók listájaként van megadva, amelyek mindegyike egyedi oszlopnevet és a számára engedélyezett értékek típusát tartalmazza.

A value attribútum egy rekord egy adott helyen, például John Doe és 35.

A tuple alapvetően megegyezik egy sorral, azzal a különbséggel, hogy az SQL DBMS-ben, ahol a sorban lévő oszlopok jelentése rendezett, a sorokat nem választják el egymástól. Ehelyett minden definíciós értéket kizárólag a neve azonosít, nem pedig a sorszámban elfoglalt helye. Az Attribútum neve lehet név vagy kor.

Az

Ez egy struktúradefiníciós táblázat, valamint az adatok megjelenése ebben a struktúrában. A definíció egy fejléc, a benne lévő adatok pedig egy test, egy sor karakterlánc. A kapcsolati változót általában főtáblának hívják. A hozzá rendelt érték fejléce bármikor megegyezik a megadott cellában megadottal, teste pedig annak felel meg, amelyet utoljára rendeltek hozzá, felhívva valamilyen frissítési operátort (általában beszúrni ,frissíteni vagy törölni).

Halmazelméleti megfogalmazás

A kapcsolatok relációs modelljének alapfogalmai az attribútumok nevei. Ezeket karakterláncként kell ábrázolni, például "Személy" és "Név", és általában változókat kell használni, hogy lefedjék őket. Egy másik alapfogalom az atomi értékek halmaza, amely szükséges és fontos jelentéseket tartalmaz, például számokat és karakterláncokat.