Definisi Matematis Relasi

Misalnya diketahui sebuah himpunan berhingga dari atribut-atribut  AB₁, AB₂, AB₃,…, AB_n, selanjutnya akan kita sebut sebagai skema rasional R, yang merupakan himpunan yang terbentuk dari seluruh atribut tersebut. Kita menyebut bahwa R= {AB₁, AB₂, AB₃,…, AB_n}. Pada tiap atribut terdapat sebuah himpunan yang tidak kosong D_i , (1 ≤ i ≤ n  ) yang disebut dengan domain atribut AB1 dan dinotasikan sebagai Dom ( AB_i ). Anggap saja D sebagai himpunan baru yang didefenisikan sebagai gabungan dari seluruh domain atribut. Dengan kata lain, D = D₁ U D₂ …U D _n . Kita definisikan relasi r dalam skema relasional R sebagi sebuah himpunan berhingga untuk pemetaan {t₁, t₂,,…, t_k} dari R ke D. Pemetaan individu  t_i  dinamakan tupelo atau tupelo –n. Untuk setiap tupel ini, nilai di dalam kolom tertentu A_i ,  yang dinotasikan dengan t(A_i), harus merupakan sebuah elemen dari domain A_i . Dengan kata lain, jika t adalah setiap tupel dari relasi r maka t(A_i) ϵ Dom (A_i), dimana simbol ϵ dibaca “milik dari”. Jika skema R dari suatu relasi r telah diketahui, kita akan mengacu ke relasi  tersebut berdasarkan namanya, jika tidak dikethui kita akan menotasikannya sebagai r(R).

(Sumber Dasar-dasar Database Relational)