Rumah Pangkalan data Apakah aksiom armstrong? - definisi dari techopedia

Apakah aksiom armstrong? - definisi dari techopedia

Isi kandungan:

Anonim

Takrif - Apakah makna Aktris Armstrong?

Armstrong's Axiom adalah notasi matematik yang digunakan untuk mencari dependensi fungsi dalam pangkalan data. Ditakrifkan oleh William W. Armstrong, ia adalah senarai aksioma atau peraturan kesimpulan yang boleh dilaksanakan di mana-mana pangkalan data hubungan. Ia dilambangkan dengan simbol F +.

Techopedia menerangkan aksiom Armstrong

Aktris Armstrong digunakan untuk menganalisis, memperbaiki dan menyelenggarakan pangkalan data hubungan. Ia mempunyai tiga mod utama atau kesimpulan yang digunakan pada set data. Mereka adalah seperti berikut:

  • Axiom of Reflexivity: Jika nama pengguna (A) dan tajuk (B) mewakili nama seseorang, maka hubungan antara kedua-dua (A dan B) kurang penting.
  • Aksiom Peningkatan: Jika ID pengguna mentakrifkan nama seseorang, maka ID pengguna dengan kuota e-mel menentukan nama orang dan kuota e-mel.
  • Aksioma Transitiviti: Jika ID pengguna menentukan nama seseorang, dan nama seseorang menentukan jabatan, maka jabatan dapat menentukan ID pengguna.
Apakah aksiom armstrong? - definisi dari techopedia