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?

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

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

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

Demikian juga ketika garis berada di 1 dan 2.

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.

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

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.

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.

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

Berikutnya: Tes garis horisontal