Tes garis vertikal

Vertical line test

Untuk mengidentifikasi relasi yang total kiri dan unik kanan, kita dapat menggunakan tes garis vertikal.

Total kiri

Apakah relasi ini total kiri?

03-relasi-biner-media-image61-png

Untuk menentukan sifat total relasi ini, kita gunakan sebuah garis vertikal.

03-relasi-biner-media-image62-png

Letakkan garis ini pada masing-masing anggota domain, yaitu 0, 1, dan 2.

03-relasi-biner-media-image63-png

Ketika garis berada pada 0, terlihat bahwa garis tersebut melalui sebuah titik.

03-relasi-biner-media-image64-png

Demikian juga ketika garis berada di 1 dan 2.

03-relasi-biner-media-image65-png
03-relasi-biner-media-image66-png

Karena setiap kali garis yang berada di anggota domain garis tersebut akan melalui titik dalam relasi, berarti relasi ini bersifat total kiri.

Unik kanan

Apakah relasi pada contoh sebelumnya juga unik kanan?

Tes garis vertikal juga dapat digunakan untuk menentukan keunikan.

Caranya seperti sebelumnya. Kunjungi masing-masing anggota domain kemudian periksa keadaan titik yang dilalui garis. Bedanya, pada pemeriksaan unik kanan tidak boleh ada titik yang terkena garis lebih dari satu.

03-relasi-biner-media-image67-png

Pada contoh di atas, ketika garis vertikal diletakkan di 1 ternyata garis melalui dua titik, bukan hanya satu titik. Ini melanggar syarat unik kanan.

Berarti relasi ini bersifat total kiri tetapi tidak unik kanan.

Contoh

03-relasi-biner-media-image68-png

Mari kita kunjungi setiap anggota domain, yaitu u, v, dan w, menggunakan garis vertikal. Ternyata sewaktu kita mengunjungi w, garis vertikal tidak melewati titik sama sekali. Berarti relasi ini tidak total kiri.

03-relasi-biner-media-image69-png

Namun ketika kita mencobanya untuk tes keunikan, ternyata berhasil untuk u, v, dan w. Tidak pernah garis vertikal melalui lebih dari satu titik. Artinya relasi ini bersifat unik kanan.

03-relasi-biner-media-image70-png

Kesimpulannya, relasi ini adalah tidak total kiri tetapi unik kanan.

Ditulis oleh
Ari Prasetyo
Ditulis pada
Terakhir diupdate
Dipublikasikan
Frase kunci
relasi biner relasi