Tietokannan eheys

Tietokannan eheys tarkoittaa tietokannassa olevien tietojen  vastaavuutta sen sisäisen logiikan, rakenteen ja kaikkien erikseen määriteltyjen sääntöjen kanssa. Jokaista sääntöä, joka asettaa jonkinlaisen rajoitteen tietokannan mahdolliselle tilaan, kutsutaan eheysrajoitukseksi .

Sääntöesimerkkejä: osan painon on oltava positiivinen; puhelinnumeron merkkien määrä ei saa ylittää 15; vanhempien ikä ei voi olla pienempi kuin heidän biologisen lapsensa ikä ja niin edelleen.

Johdonmukaisuuden tai tietojen eheyden käsite on tietokantojen avainkäsite.

Ilmeisesti rajoitukset on ilmoitettava muodollisesti DBMS :lle , minkä jälkeen DBMS:n on pantava ne täytäntöön. Rajoitusten ilmoittaminen on vain asianmukaisten tietokantakielitoimintojen käyttämistä, ja rajoitusten täytäntöönpano suoritetaan DBMS:llä ohjaamalla päivitystoimintoja, jotka saattavat rikkoa rajoitusta, ja poistamalla käytöstä ne, jotka tekevät niin. Kun rajoitus on alun perin ilmoitettu, järjestelmän on tarkistettava, täyttääkö tietokanta sitä tällä hetkellä. Jos tämä ehto ei täyty, rajoitus on hylättävä; muuten se hyväksytään (eli kirjoitetaan järjestelmähakemistoon) ja siitä lähtien [2] :338: a kunnioitetaan .

Eheysmekanismit ovat yksi tietomallin käsitteen komponenteista [3] [4] .

Eheysrajoitusten luokitus

Relaatiotietokantojen teoriassa on tapana erottaa neljä eheysrajoitustyyppiä [2] :353 :

• Tietokantarajoitus on rajoitus arvoille, jotka tietyn tietokannan sallitaan ottaa.
• Relaatiomuuttujan rajoitus on rajoitus arvoille, jotka tietyn relaatiomuuttujan sallitaan ottaa.
• Attribuuttirajoitus on rajoitus arvoille, jotka määritetyn attribuutin sallitaan ottaa.
• Tyyppirajoitus ei ole muuta kuin määrittely arvojoukolle, jotka muodostavat tietyn tyypin .

Esimerkki yhteisen relaatiomuuttujan tason rajoituksesta on ehdokasavain ; esimerkki yhteisestä tietokantatason rajoituksesta on vierasavain .

Tietokannan tietojen eheys ja totuus

Tietokannan eheys ei takaa sen sisältämän tiedon luotettavuutta (totuutta), mutta ainakin varmistaa tämän tiedon uskottavuuden, hylkäämällä ilmeisen epätodennäköiset, mahdottomat arvot. Näin ollen tietokannan eheyttä (yhdenmukaisuutta) ei pidä sekoittaa tietokannan totuuteen. Totuus ja johdonmukaisuus eivät ole sama asia [2] :351 .

Luotettavuus (tai totuus) on tietokantaan tallennettujen tosiasioiden vastaavuutta todelliseen maailmaan. Tietysti tietokannan luotettavuuden määrittämiseksi vaaditaan täydelliset tiedot sekä tietokannan sisällöstä että todellisesta maailmasta. Tietokannan eheyden määrittämiseksi vaaditaan vain tietokannan sisällön ja sille määritettyjen sääntöjen tuntemus. Siksi DBMS ei voi taata, että tietokannassa on vain oikeita lauseita; se voi vain varmistaa, että ei ole dataa, joka rikkoo eheysrajoituksia (eli että se ei sisällä tietoja, jotka ovat ristiriidassa näiden rajoitusten kanssa) [2] :351 .

Tietojen oikeellisuudesta seuraa, että ne ovat johdonmukaisia ​​(mutta eivät päinvastoin), ja tietojen epäjohdonmukaisuudesta seuraa, että ne ovat virheellisiä (mutta ei päinvastoin). Tässä sana "oikea" tarkoittaa, että tietokanta sisältää oikeat tiedot, jos ja vain, jos se heijastaa täysin todellisen maailman todellista tilaa [2] :351 .

Katso myös

• Tietojen johdonmukaisuus[ selventää ]
• Viitteellinen eheys[ selventää ]

Muistiinpanot

1. ↑ Kuznetsov S. D. Tietokantojen perusteet. - 2. painos - M .: Internet University of Information Technologies; BINOMIAL. Knowledge Laboratory, 2007. - 484 s. - ISBN 978-5-94774-736-2 .
2. ↑ 1 2 3 4 5 Päivämäärä KJ Tietokantajärjestelmien johdatus = Tietokantajärjestelmien esittely. - 8. painos - M .: Williams , 2005. - 1328 s. - ISBN 5-8459-0788-8 (venäjä) 0-321-19784-4 (englanniksi).
3. ↑ Codd, EF "Datamalleja tietokantojen hallinnassa. Proc. Workshop in Data Abstraction, Databases ja Conceptual Modeling (Michael L. Brodie ja Stephen N. Zilles, toim.), Pingree Park, Colo. (kesäkuu 1980): ACM SIGART Uutiskirje nro 74 (tammikuu 1981) ACM SIGMOD Record 11(2), helmikuu 1981 ACM SIGPLAN Notices 16(1), tammikuu 1981
4. ↑ Päivämäärä K.J. Relaatiomalli kestää ajan kokeen // Älykäs yritys, 1. kesäkuuta 1999, osa 2, numero 8)