41
fungsional
pada
B)
dan
B->
C (B tergantung
fungsional
pada
C),
maka
C
tergantung
secara
transitif
pada
A
melalui
B. Jika
sebuah
transitive
dependency
masih
ada,
maka
kita
menghilangkan
atribut-atribut
dari relasi
yang
tergantung
secara
transitif
tersebut
dengan
menempatkannya
dalam sebuah
relasi baru
dengan salinan dari determinannya.
Langkah 1.4: Menvalidasi
relasi dengan transaksi user
Tujuan
dari
langkah
ini
adalah
untuk
memastikan
bahwa
relasi di dalam model
logikal
data
lokal
mendukung
transaksi
yang
diminta
user. Pada
langkah
ini,
pengecekan
bahwa
relasi
yang
dibuat
di langkah
sebelumnya
juga
mendukung
transaksi
ini
benar
dan
pastikan
juga
bahwa
tidak ada kesalahan dalam relasi yang telah dibuat.
Langkah 1.5: Mencek integritas database
Tujuan
dari
langkah
ini adalah
untuk
mendefinisikan
ruang
lingkup
integritas
yang diperlihatkan
kepada
pemakai.
Dalam
hal
ini ada 5 tipe ruang
lingkup
integritas,
antara lain
:
Data yang diminta
Domain pembatas atribut
Integritas entiti
 |