Sisällysluettelo:
Määritelmä - mitä Armstrongin aksioma tarkoittaa?
Armstrongin Axiom on matemaattinen merkintä, jota käytetään toiminnallisten riippuvuuksien löytämiseen tietokannasta. William W. Armstrongin käsityksen mukaan se on luettelo aksioomeista tai päätelmissääntöistä, jotka voidaan toteuttaa mihin tahansa relaatiotietokantaan. Sitä merkitään symbolilla F +.
Techopedia selittää Armstrongin aksiomia
Armstrongin Axiomia käytetään analysoimaan, tarkentamaan ja ylläpitämään relaatiotietokantoja. Sillä on kolme päämuotoa tai päätelmää, joita sovelletaan tietosarjaan. Ne ovat seuraavat:
- Reflexitiivisyyden aksioma: Jos käyttäjänimi (A) ja otsikko (B) edustavat henkilön nimeä, niin molempien (A ja B) välisellä suhteella ei ole merkitystä.
- Lisäyksen aksioma: Jos käyttäjätunnus määrittelee henkilön nimen, niin käyttäjän tunnus ja sähköpostikiintiö määrittelevät henkilön nimen ja sähköpostikiintiön.
- Transitiivisyyden aksioma: Jos käyttäjätunnus määrittää henkilön nimen ja henkilön nimi määrittelee osaston, niin osasto voi määrittää käyttäjätunnuksen.
