Azərbaycanca AzərbaycancaDeutsch Deutsch日本語 日本語Lietuvos Lietuvosසිංහල සිංහලTürkçe TürkçeУкраїнська УкраїнськаUnited State United State
Dəstək
www.wikimedia.az-az.nina.az

Vikipediya azad ensiklopediya Armstronqun aksiomları və ya Armstronq qaydaları ing Armstrong s axioms verilənlər bazalar

Armstronqun aksiomları

Armstronqun aksiomları
Vikipediya, azad ensiklopediya

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. 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

| ]
  1. William Ward Armstrong: Dependency Structures of Data Base Relationships, page 580-583. IFIP Congress, 1974.
  2. 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. 23 iyul 2018 tarixində arxivləşdirilib (PDF).

Xarici keçidlər

| ]
  • UMBC CMSC 461 Spring '99
  • CS345 Lecture Notes from Stanford University

wikipedia, oxu, kitab, kitabxana, axtar, tap, meqaleler, kitablar, oyrenmek, wiki, bilgi, tarix, tarixi, endir, indir, yukle, izlə, izle, mobil, telefon ucun, azeri, azəri, azerbaycanca, azərbaycanca, sayt, yüklə, pulsuz, pulsuz yüklə, haqqında, haqqinda, məlumat, melumat, mp3, video, mp4, 3gp, jpg, jpeg, gif, png, şəkil, muisiqi, mahnı, kino, film, kitab, oyun, oyunlar, android, ios, apple, samsung, iphone, pc, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, web, computer, komputer

Vikipediya azad ensiklopediya Armstronqun aksiomlari ve ya Armstronq qaydalari ing Armstrong s axioms verilenler bazalarinda elaqeler relasiyalar ucun funksional asililiqlarin nezeriyyesinde istifade olunan fundamental qaydalardir Bu qaydalar bir verilenler bazasinin relasiyalarinda funksional asililiqlarin toreme ve sadelesdirilmesine imkan verir Onlar verilenlerde ardicilligi temin etmek ve mentiqli neticeler cixarmaq ucun esas mexanizm rolunu oynayir Armstronq aksiomlari uc esas qaydadan ibaretdir Refleksivlik span Eger Y displaystyle Y X displaystyle X ise o zaman X displaystyle X Y displaystyle Y Bu bir coxlugun ozunun ve ya onun hisselerinin diger hisseleri uzerinde funksional asili oldugunu bildirir Yeni bir coxluq her zaman oz alt coxlugunu mueyyen ede bilir Artma span Eger X displaystyle X Y displaystyle Y ise o zaman XZ displaystyle XZ YZ displaystyle YZ Bu qayda deyir ki eger X displaystyle X Y displaystyle Y ni mueyyen edirse onda X displaystyle X ye her hansi bir atribut elave olunduqda bu neticeni deyismeyecek Yeni yeni atribut elave olunsa bele Y displaystyle Y nin mueyyen edilmesinde problem olmayacaq Tranzitivlik span Eger X displaystyle X Y displaystyle Y ve Y displaystyle Y Z displaystyle Z ise o zaman X displaystyle X Z displaystyle Z Bu qayda eger X displaystyle X atribut desti Y displaystyle Y ni ve Y displaystyle Y ise Z displaystyle Z ni mueyyen edirse onda Y displaystyle Y nin birbasa olaraq Z displaystyle Z ni de mueyyen etdiyini bildirir Bu uc esas qayda funksional asililiqlari sadelesdirmek ve toretmek ucun istifade olunur Armstronqun aksiomlari verilenler bazasinin normallasdirilmasinda ve muvafiq dizayn qaydalarina riayet etmekde vacibdir Istinadlar span 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 23 iyul 2018 tarixinde arxivlesdirilib PDF Xarici kecidler span UMBC CMSC 461 Spring 99 CS345 Lecture Notes from Stanford UniversityVerilenler bazalariNovleriObyekt yonlu Relyasiyali Acar deyer Sutun yonlu Sened yonlu Genis sutunlu yaddas Qrafik NoSQL NewSQL In memory Cox modelli Bulud Blokceyn esasli verilenler bazasiKonsepsiyaVerilenler bazasi ACID Armstronqun aksiomlari Koddun 12 qaydasi CAP teoremi CRUD Null Namized acar Xarici acarObyektlerRelyasiya View Tranzaksiya Tranzaksiya jurnali TriggerKomponentlerFunksiyalarElaqeli movzularNormallasdirma Elaqeler cebri Elaqeli model Obyekt yonlu verilenler bazasiKateqoriya Normativ yoxlamaMicrosoft 72035858 Kateqoriya Verilenler bazalari

Nəşr tarixi:
Yuxarı