CEVAP:

İlişkisel veritabanı modeli matematiğin iki dalı olan Küme teorisi ve birinci derece yüklem aritmetiğine dayanmaktadır. Modelin adı bile küme teorisindeki ilişki teriminden türetilmiştir.

İlişkisel örnekler (tablolar) üzerine yapılacak işlemleri öğrenmeden önce verilen ilişkisel örneklerden yeni ilişkisel örnekler oluşturulmasını sağlayan ilişkisel cebir hakkında bilgi sahibi olunmalıdır. İlişkisel cebirde tüm işlenen veriler ve sorguların sonuçları kümeler hâlinde ifade edilir. Geleneksel ilişkisel cebirde işlemler dört sınıfa toplanabilir.

1. Tablolara uygulanılan genel küme işlemleri: birleşim (union, ?), kesişim (intersection, ?) ve fark (diference, -) işlemleridir.
2. Bir tablodan parçalar getiren işlemler: seçim (selection, ?) bazı kayıtları elerken, yansıtma (projection, ?) bazı alanları eler.
3. İki tablonun kayıtlarını bitiştiren işlemler: Kartezyen çarpım (Cross-product, x) birinci kümenin her satırı ikinci kümenin her bir satırıyla eşleşir.

Şartlı Bitişme (Conditional Join, ??) iki tablonun kartezyen çarpımı sonucundan verilen şarta uyan kayıtlar getirilir.

Kartezyen çarpımın getirdiğinden daha az çoklu kayıt içermesi daha verimli bir biçimde hesaplamayı sağlar. Gösterimde şart yerine ? sembolü kullanıldığı için Teta (Theta, ?) bitişmesi diye de adlandırılır.

Doğal bitişme (Natural Join, ?) her ortak alanda eşit bitişme yapılarak bulunur.

Bölme (Division, ÷) işlemi; eğer B tablosundaki y kümesi A tablosundaki bir x ile ilişkilendirilmişse ve A tablosundaki x ile ilişkili bir şekilde B tablosundaki tüm y’leri kapsıyorsa, bu x A÷B kümesi içerisindedir.

4) Yeniden adlandırma (Renaming, ?): tablolardaki kayıtları etkilemez ancak erişilen alanların veya tabloların adlarını kullanım sırasında değiştirir.