12
2.2.2.1
Kesimpulan
Peraturan-Peraturan
untuk
Ketergantungan
Fungsional
Mengidentifikasi kegunaan ketergantungan fungisonal pada
sebuah relation dimulai dengan menspesifikasi kepercayaan
fungsional yang jelas. Serangkaian kesimpulan peraturan yang
menarik, dinamakan kebenaran-kebenaran Armstrong.
Kebenaran-kebenaran Armstrong sebagai berikut :
1.
refleksifitas
:
jika
B
adalah
serangkaian
kecil
dari
A,
maka
A->B
2.
argumentasi : jika A -> B, maka B-> C, maka A->C
3.
transititas : jika A->B, maka B->C, maka A->C
Beberapa peraturan lebih lanjut bisa berasal dari tiga yang
diberikan di atas yang mempermudah tugas yang praktis dari
perhitungan X*. Pada peraturan-peraturan berikut, biarkan D
menjadi
serangkaian
kecil
yang lain
dari
atribut-atribut relation
R,
maka :
4.
determinasi sendiri : A->A
5.
dekomposisi : jika A->B, C, maka A->B dan A->C
6.
union : jika A->B dan A->C, maka A->B, C
7.
komposisi : jika A->B dan C->D, maka A, C->B, D
 |