Kompyuter injineringgi va kasbiy ta`lim fakulteti

Relyatsion hisoblash.

Ushbu modellar ma'lumotlar tuzilishining soddaligi, foydalanuvchilarga qulay jadval ko'rinishidagi taqdimot va algebraning rasmiy apparatlaridan va ma'lumotlarni qayta ishlash uchun relyatsion hisob-kitoblardan foydalanish qobiliyati bilan tavsiflanadi.

Deklarativ yondashuv   relyatsion ma'lumotlar bazalarini qayta ishlash matematik mantiq tushunchalari va usullarini sharhlashga asoslangan. Xususan, relyatsion hisob predikatli kalkulyatsiyaga asoslangan. Relyatsion hisoblash uchun zarur bo'lgan matematik mantiq tushunchalarini chaqiramiz.

1. O'zgaruvchilar va doimiylarning belgilari. Relyatsion hisoblarning til tuzilishlarida ular atributlar va o'zgaruvchilar nomlariga, shuningdek doimiylarga mos keladi.

2. "va", "yoki", "yo'q" mantiqiy biriktirgichlar va taqqoslash belgilari \u003d, # (teng emas),\u003e,<, ≥, ≤.

3. Terminlar, ya'ni har qanday doimiy va o'zgaruvchilar, shuningdek, argumentlari atamalari bo'lgan funktsiyalar.

4. Elementar formulalar predmetlar bo'lib, ularning argumentlari atamalardir. "Va", "yoki", "yo'q" operatsiyalari bilan bog'liq predikatlar ham elementar formulalardir. Masalan, Surname \u003d "Petrov" va Sum ≤ Total ifodalari elementar formulalardir.

5. Formulalar, ya'ni umumiylik yoki mavjudlikni o'lchash vositalarini elementar formulalarga qo'llash natijasida. Formula relyatsion hisoblash usuli bilan ifoda etilgan relyatsion ma'lumotlar bazasiga bo'lgan so'rovga mos keladi.

EIS ma'lumotlar bazasini loyihalashning asosiy vazifasi munosabatlar sonini (yoki boshqa ma'lumotlarning tarkibiy birliklari) va ularning atributlarining tarkibini aniqlashdir.

Atributlarni munosabatlarga ajratish vazifasi, ularning to'plami oldindan belgilanmagan, ko'plab turli xil echimlarni topishga imkon beradi. Ratsional guruhlash variantlari quyidagi talablarni hisobga olishi kerak:

- ko'plab munosabatlar axborotni taqdim etishda minimal zaxirani ta'minlashi kerak;

- munosabatlarni tartibga solish noaniqlik yoki ma'lumotlarning yo'qolishiga olib kelmasligi kerak;

- ma'lumotlar bazasiga yangi atributlar qo'shish paytida munosabatlar to'plamini qayta qurish minimal bo'lishi kerak.