Nisbatan hisoblash - Relational calculus

The Nisbatan hisoblash ikkita toshdan iborat relefli hisoblash va domen relyatsion hisobi, bu qismi munosabat modeli ma'lumotlar bazalari uchun va ma'lumotlar bazasi so'rovlarini ko'rsatishning deklarativ usulini taqdim eting.

The munosabat hisobi ga o'xshash munosabat algebra, bu ham relyatsion modelning bir qismidir: While the munosabat hisobi deklarativ til sifatida nazarda tutilgan bo'lib, relyatsion hisoblash ifodasining pastki ifodalarida ijro tartibini belgilamaydi munosabat algebra imperativ til sifatida nazarda tutilgan: munosabat algebraik iboralarining pastki iboralari ularning joylashgandan keyin chapdan o'ngga va ichkaridan tashqariga bajarilishi kerak.

A munosabat algebra ifoda etkazib beradigan kitob do'konlarining telefon raqamlari va nomlarini olish uchun quyidagi amallarni belgilashi mumkin Ba'zi namunaviy kitob:

  1. Book StoreID orqali kitob do'konlari va unvonlariga qo'shiling.
  2. Ushbu qo'shilish natijasini kitob uchun stendlar bilan cheklang Ba'zi namunaviy kitob.
  3. StoreName va StorePhone-ga nisbatan cheklov natijalarini loyihalash.

Hisob-kitob munosabati ifodasi ushbu so'rovni quyidagi tavsiflovchi yoki deklarativ shaklda shakllantirishi mumkin:

Kitob do'konlari uchun StoreName va StorePhone-ni oling, shunda bir xil BookstoreID qiymati va BookTitle qiymati bilan BK sarlavhasi mavjud. Ba'zi namunaviy kitob.

Aloqaviy algebra va relyatsion hisoblash mantiqiy ekvivalent: har qanday algebraik ifoda uchun hisoblashda unga teng keladigan ifoda mavjud va aksincha. Ushbu natija sifatida tanilgan Kodd teoremasi.

Relatsion hisoblashning raison d'etri - bu rasmiylashtirish so'rovlarni optimallashtirish. So'rovlarni optimallashtirish so'rovdan uni bajarish uchun eng samarali usulni (yoki odob-axloqni) aniqlashdan iborat. So'rovlarni optimallashtirish A javobini beradigan relyatsion hisoblash ifodasini xuddi shu A javobni beradigan samarali munosabat algebraik ifodalariga tarjima qilish sifatida rasmiylashtirilishi mumkin.

Adabiyotlar

  • Sana, Kristofer J. (2004). Ma'lumotlar bazalari tizimlariga kirish (8-nashr). Addison Uesli. ISBN  0-321-19784-4.