Armstronqun aksiomları və ya Armstronq qaydaları (ing. Armstrong's axioms) — 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.[1] 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.
Ə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.
Ə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.
Ə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.[2]
- ↑ William Ward Armstrong: Dependency Structures of Data Base Relationships, page 580-583. IFIP Congress, 1974.
- ↑ Beeri, C.; Dowd, M.; Fagin, R.; Statman, R. "On the Structure of Armstrong Relations for Functional Dependencies" (PDF). Journal of the ACM. 31. 1984: 30–46. CiteSeerX 10.1.1.68.9320. doi:10.1145/2422.322414. 2018-07-23 tarixində arxivləşdirilib (PDF).