Raktai ir reliacinio vientisumo apribojimai
Tyrimų kontekstas
postgraduate concept · established · Patikros data 2026-10-10
Raktas kandidatas yra minimali atributų aibė, vienareikšmiškai identifikuojanti kortežą; superraktas neprivalo būti minimalus.
Esminės žinios
Raktas kandidatas yra minimali atributų aibė, vienareikšmiškai identifikuojanti kortežą; superraktas neprivalo būti minimalus. Pasirinktas pirminis raktas ir deklaruoti išoriniai raktai užtikrina skirtingus apribojimus. Išorinis raktas nurodo deklaruotą unikalų raktą; reikia apibrėžti trynimo bei atnaujinimo elgseną ir NULL politiką. Imtyje pastebėtas unikalumas neįrodo schemos invarianto būsimiems duomenims.
Sąlygos ir taikymo ribos
- Apribojimai yra leidžiamų duomenų bazės būsenų savybės, o ne vien stebėtų duomenų savybės.
- Sudėtinio rakto unikalumas susijęs su rakto reikšmių kortežu; kai leidžiamas NULL, unikalumo detalės priklauso nuo įgyvendinimo.
Šaltiniai · 2
Šaltiniai
Šaltiniai išlaiko savo taikymo ribas. Vien nuoroda nepatvirtina kiekvieno teiginio patikrinimo.
Pagrindimas ir peržiūra
Autorius patikrino šį anglišką teiginį, pateiktą lygtį, jei ji yra, ir nurodytas prielaidas pagal šias šaltinių vietas: Raktai, superraktai, išoriniai raktai ir vientisumo apribojimai; §13.2: read committed, repeatable read ir serializable; anomalijos, serializavimo nesėkmės ir kartojimai. Patikra apsiriboja užrašytais teiginiais; neteigiama, kad visiškai atkurtas įrodymas, pakartotinai atlikta programinė įrodymo patikra ar aprėpta visa literatūra.
2026-10-10 · Autoriaus atlikta šaltinio teksto, teiginio, lygties ir taikymo srities patikra; grafo sąsajų aprėptis nurodyta atskirai. Prieš užbaigiant šaką būtina atskira nepriklausoma turinio, šaltinių ir inventoriaus peržiūra.
Įrašo informacija
Nuolatinė nuoroda į šį įrašą ↗- Įrašo identifikatorius
- research-info-keys-integrity
- Versija
- research.1
- Struktūruotas žinyno įrašas
- Podiplominis ir tyrimų žinynas