Ensimmäinen normaali muoto

Ensimmäinen normaalimuoto (1NF ) on relaatiotietomallin suhteen  perusnormaalimuoto .

Määritelmä

Relaatiomuuttuja on ensimmäisessä normaalimuodossa, jos ja vain jos jossakin muuttujan kelvollisessa arvossa jokainen relaatiotuple sisältää täsmälleen yhden arvon kullekin [1] attribuutille .

Relaatiomallissa relaatio on aina ensimmäisessä normaalimuodossa käsiterelaation määritelmän mukaan .

Mitä tulee eri taulukoihin , ne eivät ehkä ole oikeita suhteiden esityksiä, ja näin ollen ne eivät välttämättä ole 1NF:ssä. Christopher Daten tällaisen tapauksen määritelmän mukaan taulukko normalisoidaan (vastaavasti ensimmäisessä normaalimuodossa) silloin ja vain, jos se on suora ja todellinen esitys jostakin suhteesta . Tarkemmin sanottuna kyseisen taulukon on täytettävä seuraavat viisi ehtoa:

  1. Rivejä ei järjestetä ylhäältä alas (eli rivien järjestys ei välitä mitään tietoa).
  2. Sarakkeissa ei ole vasemmalta oikealle järjestystä (eli sarakkeiden järjestys ei sisällä tietoa).
  3. Ei päällekkäisiä rivejä.
  4. Jokainen rivin ja sarakkeen leikkauspiste sisältää täsmälleen yhden arvon vastaavasta toimialueesta (eikä mitään muuta).
  5. Kaikki sarakkeet ovat säännöllisiä [1] .

Taulukon kaikkien sarakkeiden "säännöllisyys" tarkoittaa, että taulukossa ei ole "piilotettuja" komponentteja, joihin pääsee käsiksi vain jonkin erikoisoperaattorin kutsuessa sen sijaan, että viitattaisiin tavallisiin sarakkeiden nimiin tai jotka johtavat sivuvaikutuksiin riveille tai taulukoita käytettäessä vakiooperaattoreita. Näin ollen esimerkiksi merkkijonoilla ei ole muita tunnisteita kuin normaalit ehdokasavainarvot (ei piilotettuja "rivitunnisteita" tai "objektitunnisteita"). Heillä ei myöskään ole piilotettuja aikaleimoja [1] .

Esimerkki

Alkuperäinen normalisoimaton (eli ei ole oikea esitys jostain suhteesta) taulukko:

Työntekijä Puhelinnumero
Ivanov I.I. 283-56-82
390-57-34
Petrov P.P. 708-62-34

Taulukko, joka on pienennetty arvoon 1NF, mikä on oikea esitys jostakin suhteesta:

Työntekijä Puhelinnumero
Ivanov I.I. 283-56-82
Ivanov I.I. 390-57-34
Petrov P.P. 708-62-34

Atomicity

Monet kirjoittajat täydentävät ensimmäisen normaalimuodon määritelmää arvojen atomisuuden ( jakamattomuuden ) vaatimuksella [2] . Kuitenkin "atomisuuden" käsite on liian epämääräinen [1] [3] . Esimerkiksi monet tietotyypit (merkkijonot, päivämäärät, kiinteän pisteen numerot jne.) voidaan helposti hajottaa osaelementeiksi tarvittaessa käyttämällä DBMS:n tarjoamia vakiotoimintoja. K. Date päättelee, että "atomisuuden käsitteellä ei ole mitään järkeä" [1] .

Historiallisesti "atomisuuden" käsite on peräisin "yksinkertaisista alueista" ( englanniksi  simple domains ), jonka relaatiotietomallin kirjoittaja E. F. Codd ehdotti . Coddin teoksessa "A Relational Data Model for Large Shared Data Banks" [4] ehdottama "normaalimuodon" tavoite ei liittynyt mihinkään teoreettiseen näkökohtaan, kuten poikkeavuuksien tai redundanssin käsittelemiseen. Codd ehdotti "yksinkertaisten verkkotunnusten" käyttöä vain helpottamaan tulevaa ohjelmiston käyttöönottoa seuraavasti:

Relaatio, jonka kaikki alueet ovat yksinkertaisia, voidaan esittää, kun se tallennetaan kaksiulotteisena taulukkona, jossa on yhtenäiset sarakkeet.

Alkuperäinen teksti  (englanniksi)[ näytäpiilottaa] Relaatio, jonka kaikki alueet ovat yksinkertaisia, voidaan esittää muistissa kaksiulotteisella sarake-homogeenisella taulukolla.

Suhteiden esittämisen helppous taulukoiden avulla, joka on mahdollista, kun kaikki suhteet on normalisoitu, tarjoaa etuja paitsi tallennuksen, myös suurten tietomäärien siirtämiseen järjestelmien välillä, jotka käyttävät suuresti erilaisia ​​​​dataesityksiä.

Alkuperäinen teksti  (englanniksi)[ näytäpiilottaa] Taulukkoesityksen yksinkertaisuus, joka tulee mahdolliseksi, kun kaikki suhteet valetaan normaalimuotoon, ei ole etu vain tallennustarkoituksiin, vaan myös joukkodatan viestimiseen järjestelmien välillä, jotka käyttävät laajasti erilaisia ​​datan esityksiä.

Katso myös

Muistiinpanot

  1. 1 2 3 4 5 C. J. Päivämäärä. Mitä ensimmäinen normaalimuoto todella tarkoittaa //С. J. päivämäärä. Päiväys tietokannassa: Writings 2000-2006, Apress, 2006, ISBN 978-1-59059-746-0
  2. Elmasri, Ramez ja Navathe, Shamkant B. Fundamentals of Database Systems, neljäs painos  . - Pearson, 2003. - S. 315. - ISBN 0321204484 . : "Se sanoo, että attribuutin verkkotunnuksen tulee sisältää vain atomiarvoja (yksinkertaisia, jakamattomia) ja että minkä tahansa monikon attribuutin arvon on oltava yksittäinen arvo kyseisen attribuutin verkkotunnuksesta."
  3. Darwen, Hugh. Suhteelliset ominaisuudet; tai Pystyykö todellinen ensimmäinen normaalimuoto seisomaan? // Relational Database Writings 1989-1991, Addison-Wesley, 1992.
  4. E.F. Codd. Datan relaatiomalli suurille jaetuille tietopankeille ( kääntäjä M. R. Kogalovsky) Arkistoitu 22. marraskuuta 2010 Wayback Machine
    Coddissa, EF :n tietojen relaatiomalli suurille  jaetuille tietopankeille  // Communications of the ACM  : journal. - 1970. - Voi. 13 , ei. 6 . - s. 377-387 . doi : 10.1145 / 362384.362685 . Arkistoitu alkuperäisestä 12. kesäkuuta 2007.

Kirjallisuus