Daftar Isi:
Definisi - Apa yang dimaksud dengan Aksioma Armstrong?
Aksioma Armstrong adalah notasi matematika yang digunakan untuk menemukan dependensi fungsional dalam database. Diciptakan oleh William W. Armstrong, ini adalah daftar aksioma atau aturan inferensi yang dapat diimplementasikan pada basis data relasional. Ini dilambangkan dengan simbol F +.
Techopedia menjelaskan Aksioma Armstrong
Aksioma Armstrong digunakan untuk menganalisis, memperbaiki, dan memelihara basis data relasional. Ini memiliki tiga mode utama atau kesimpulan yang diterapkan pada satu set data. Mereka adalah sebagai berikut:
- Aksioma Refleksivitas: Jika nama pengguna (A) dan judul (B) mewakili nama seseorang, maka hubungan antara keduanya (A dan B) tidak begitu penting.
- Aksioma Augmentasi: Jika ID pengguna menentukan nama seseorang, maka ID pengguna dengan kuota email menentukan nama dan kuota email orang tersebut.
- Aksioma Transitivitas: Jika ID pengguna menentukan nama seseorang, dan nama seseorang menentukan departemen, maka departemen dapat menentukan ID pengguna.
