İlişkisel hesap - Relational calculus

İlişkisel hesap iki taştan oluşur, tuple ilişkisel hesap ve alan ilişkisel hesabı, bu parçası ilişkisel model veritabanları için ve veritabanı sorgularını belirtmek için açıklayıcı bir yol sağlar.

ilişkisel hesap benzer ilişkisel cebir, bu da ilişkisel modelin bir parçasıdır: ilişkisel hesap ilişkisel bir hesap ifadesinin alt ifadeleri üzerinde hiçbir yürütme sırasını öngörmeyen bildirimsel bir dil anlamına gelir; ilişkisel cebir bir zorunlu dil olarak kastedilmektedir: ilişkisel cebirsel ifadelerin alt ifadeleri, iç içe geçtikten sonra soldan sağa ve içten dışa yürütülmek üzere tasarlanmıştır.

Bir ilişkisel cebir ifadesi, kitapçıların telefon numaralarını ve adlarını almak için aşağıdaki adımları belirleyebilir. Bazı Örnek Kitap:

  1. BookstoreID üzerinden kitap mağazalarına ve başlıklara katılın.
  2. Bu birleştirmenin sonucunu kitap için tuple'larla sınırla Bazı Örnek Kitap.
  3. StoreName ve StorePhone üzerindeki bu kısıtlamanın sonucunu yansıtın.

İlişkisel bir hesap ifadesi, bu sorguyu aşağıdaki açıklayıcı veya bildirimsel şekilde formüle eder:

Aynı BookstoreID değerine ve BookTitle değerine sahip bir BK başlığı bulunan kitap mağazaları için StoreName ve StorePhone alın Bazı Örnek Kitap.

İlişkisel cebir ve ilişkisel hesaplama mantıksal olarak eşdeğer: herhangi bir cebirsel ifade için, analizde eşdeğer bir ifade vardır ve bunun tersi de geçerlidir. Bu sonuç olarak bilinir Codd teoremi.

İlişkisel analizin varoluş nedeni, sorgu optimizasyonu. Sorgu optimizasyonu bir sorgudan, onu yürütmek için en verimli yolu (veya tavırları) belirlemekten oluşur. Sorgu optimizasyonu, bir A cevabını veren bir ilişkisel hesap ifadesini aynı cevabı A veren verimli ilişkisel cebirsel ifadelere çevirmek olarak resmileştirilebilir.

Referanslar

  • Tarih, Christopher J. (2004). Veritabanı Sistemlerine Giriş (8. baskı). Addison Wesley. ISBN  0-321-19784-4.