Rajoite

Kanssa Rajoitukset (saksaksi "rajoituksen") ovat eri ohjelmointikieliä asetettuja ehtoja pakollinen arvo muuttujia on täytyttävä, jotta arvo voidaan hyväksyä järjestelmään. Rajoitukset ovat laajalti käytössä vuonna tietokantajärjestelmiä rajoittaa arvoalue ( domain ) on skalaari ja tarkistaa arvot hyväksyttävyydestä. On ohjelma analyysi, rajoitukset käytetään analysoitaessa toiminnallinen ohjelmia.

Ohjelmointikielten rajoitteet

Rajoitukset auttavat kääntäjää ja ajonaikaisia ympäristöjä , ohjelmointivirheitä on helpompi havaita. Oletetaan muuttuja Anzahl_der_Personen_im_Aufzug, tässä on selvästi selvää, että muuttujalla ei saa olla negatiivista arvoa eikä se saa ylittää maksimiarvoa.

Ada- ohjelmointikielellä se voi näyttää tältä:

type Kapazitaet is range 0..13;
Anzahl_der_Personen_im_Aufzug : Kapazitaet := 15;

Tässä kääntäjä voi heti tunnistaa, että arvo 15 on aiemmin määritetyn ehdon ulkopuolella range. Jos muuttujaa ei rajoiteta, ohjelmoijan on tarkistettava tämä ehto itse jokaisen muutoksen yhteydessä.

Rajoitukset tietokantajärjestelmissä

Periaatteessa rajoitukset toimivat samalla tavalla tietokantajärjestelmissä . Rajoitukset määrittelevät ehdot, jotka on täytettävä, kun lisätään, muutetaan ja poistetaan tietueita tietokantaan.

Rajoitusten lisäksi monet tietokantajärjestelmät tietävät myös tapahtumia . Näiden kahden käsitteen yhdistelmä on erittäin tehokas, koska kaikki rajoitukset tarkistetaan viimeistään tapahtuman lopussa . Jos rajoitus epäonnistuu, kaikki tapahtumassa tehtyihin tietoihin tehdyt muutokset palautetaan ikään kuin niitä ei olisi koskaan tehty.

Rajoitteet määritellään tietokannassa järjestelmien eheys olosuhteissa.

Luettelo mahdollisista rajoituksista tietokantajärjestelmissä:

NOT NULL→ skalaari ei voi NULLolla
PRIMARY KEY→ skalaarin on oltava ainutlaatuinen eikä se voi NULLolla
FOREIGN KEY→ skalaari on tarkistettava viitteiden eheyden suhteen
UNIQUE → skalaarin on oltava yksilöllinen määritteessä
CHECK()→ nimenomainen tarkistusohje DBMS: lle ; Mitä on tarkistettava, määritellään tämän direktiivin vaihtoehtona

Rajoituksia on myös erityyppisiä :

Taito rajoitteet viitata yhteen sarakkeeseen
Suhde rajoitteet , katso useita määritteitä (sarakkeita)
Nimettyjä rajoituksia voidaan manipuloida nimen perusteella
Nimettömille rajoituksille annetaan järjestelmän luoma nimi

Esimerkki: Rajoitus-attribuutti

Alla olevassa esimerkissä on PRIMARY KEYnimeämätön rajoitus ja CONSTRAINT persons_fpnimetty rajoitus .

CREATE TABLE person(
    id          PRIMARY KEY,
    fingerprint BYTEA CONSTRAINT persons_fp UNIQUE
);

Esimerkki: Suhteiden rajoitus

Alla olevassa esimerkissä se on CONSTRAINT person_primenimetty rajoitus ja UNIQUE()nimeämätön rajoitus .

CREATE TABLE person(
    id      SERIAL,
    name    VARCHAR,
    dob     DATE,
    born_in VARCHAR,
    CONSTRAINT person_prime PRIMARY KEY(id),
    UNIQUE(name, dob, born_in)
);

Logistiikan rajoitteet

Rajoitus on myös tässä tapauksessa käytetään rajoituksena varten toiminta , joka on suoritettu . Vaatimukset tai vaatimukset ja rajoitukset erotetaan toisistaan . Kun on kyse tavaroiden ja palvelujen toimittamisesta logistiikassa , rajoitukset z. Esimerkiksi rajoitukset, joita sovelletaan kuormitukseen tiettyjen kuorma-autojen tilavuuden tai painon alueella .

Rajoitukset evoluutiossa

Kehityksessä rajoitteet rajoittavat evoluutiopolkuja esimerkiksi rakennussuunnitelman historiallisten olosuhteiden vuoksi.

Teoreettisen tietojenkäsittelyn rajoitteet

Vuonna tietojenkäsittelyteoria ja erityisesti AI tutkimukseen , relaatio lausuntoja, jotka sisältävät vapaa muuttujat usein kutsutaan rajoitteita . Sitten haetaan muuttuvaa tehtävää tai tulkintaa, joka sopii tiettyyn rajoitusten joukkoon ja täyttää ne samanaikaisesti.

Esimerkki: xon todella yläpuolella y, yon todella yläpuolella z, zon yläpuolella x(tätä rajoitusten joukkoa ei voida täyttää).

Tehtävää, joka täyttää kaikki rajoitukset, kutsutaan usein " malliksi ".

Rajoitukset puissa ja puissa

In ja-tai puut on rajoituksia tällä Ja solmuja, täällä monta osatavoitteisiin on täytyttävä suunniteltu yhdessä vuonna täyttääkseen päätavoite.

Katso myös

nettilinkit

Roman Barták: Opas rajoitusohjelmointiin. Haettu 9. tammikuuta 2010 .

Yksittäiset todisteet

↑ Luku 5. Tietojen määrittely - 5.4. Rajoitukset. (Ei enää saatavana verkossa.) Julkaisussa: PostgreSQL: The Official Handbook. PostgreSQL Global Development Group, arkistoitu alkuperäisestä 27. lokakuuta 2011 ; käytetty 3. marraskuuta 2011 (englanniksi: http://www.postgresql.org/docs/current/static/ddl-constraints.html ). Info: Arkistolinkki lisättiin automaattisesti eikä sitä ole vielä tarkistettu. Tarkista alkuperäinen ja arkistolinkki ohjeiden mukaisesti ja poista tämä ilmoitus. @ 1@ 2

[psqlconstraints-1] Luku 5. Tietojen määrittely - 5.4. Rajoitukset. (Ei enää saatavana verkossa.) Julkaisussa: PostgreSQL: The Official Handbook. PostgreSQL Global Development Group, arkistoitu alkuperäisestä 27. lokakuuta 2011 ; käytetty 3. marraskuuta 2011 (englanniksi: http://www.postgresql.org/docs/current/static/ddl-constraints.html ). Info: Arkistolinkki lisättiin automaattisesti eikä sitä ole vielä tarkistettu. Tarkista alkuperäinen ja arkistolinkki ohjeiden mukaisesti ja poista tämä ilmoitus. @ 1@ 2

Languages