Armstronqun aksiomları

Armstronqun aksiomları və ya Armstronq qaydaları () — verilənlər bazalarında əlaqələr (relasiyalar) üçün funksional asılılıqların nəzəriyyəsində istifadə olunan fundamental qaydalardır.William Ward Armstrong: Dependency Structures of Data Base Relationships, page 580-583. IFIP Congress, 1974. Bu qaydalar bir verilənlər bazasının relasiyalarında funksional asılılıqların törəmə və sadələşdirilməsinə imkan verir. Onlar verilənlərdə ardıcıllığı təmin etmək və məntiqli nəticələr çıxarmaq üçün əsas mexanizm rolunu oynayır.

Armstronq aksiomları üç əsas qaydadan ibarətdir.

 Refleksivlik 
Əgər   ⊆  isə, o zaman  → .

Bu, bir çoxluğun özünün və ya onun hissələrinin digər hissələri üzərində funksional asılı olduğunu bildirir. Yəni, bir çoxluq hər zaman öz alt çoxluğunu müəyyən edə bilir.

 Artma 
Əgər   →  isə, o zaman  → .

Bu qayda deyir ki, əgər   ,  -ni müəyyən edirsə, onda   -yə hər hansı bir atribut əlavə olunduqda, bu, nəticəni dəyişməyəcək. Yəni yeni atribut əlavə olunsa belə, -nin müəyyən edilməsində problem olmayacaq.

 Tranzitivlik 
Əgər →) və → isə, o zaman →.

Bu qayda, əgər  atribut dəsti -ni və  isə -ni müəyyən edirsə, onda -nin birbaşa olaraq -ni də müəyyən etdiyini bildirir.

Bu üç əsas qayda funksional asılılıqları sadələşdirmək və törətmək üçün istifadə olunur. Armstronqun aksiomları verilənlər bazasının normallaşdırılmasında və müvafiq dizayn qaydalarına riayət etməkdə vacibdir.

 İstinadlar 

 Xarici keçidlər 
 UMBC CMSC 461 Spring '99
 CS345 Lecture Notes from Stanford University

Kateqoriya:Verilənlər bazaları