Reja: Relyatsion model tushunchasi

Mavjudlik va bog'lanish yaxlitligi

Va nihoyat, ajralmas qismda nisbiy ma'lumotlar modeli Ikkita asosiy yaxlitlik talablari o'rnatildi, ular har qanday aloqador MBBTda qo'llab-quvvatlanishi kerak. Birinchi talab chaqiriladi tashkilot yaxlitligi talabi. Relyatsion ma'lumotlar bazasidagi real dunyo ob'ektlari yoki ob'ektlari munosabatlar tuplalariga mos keladi. Xususan, talab har qanday qiymatning har qanday qiymati har qanday narsaning munosabati bo'lishi kerak o'zgaruvchan munosabat boshqa har qanday burchagidan ajralib turishi kerak munosabatlar qadriyatlari oldindan belgilab qo'yilgan atributlarning kompozit qiymatlari bo'yicha o'zgaruvchan munosabatya'ni boshqacha qilib aytganda, har qanday munosabatlar o'zgaruvchisi ega bo'lishi kerak asosiy kalit. Oldingi bo'limda ko'rib chiqqanimizdek, agar munosabatlarning asosiy xususiyatlari tizimda buzilmasa, bu talab avtomatik ravishda qondiriladi.
Aslida, talab tashkilot yaxlitligi quyidagicha eshitiladi: har qanday o'zgaruvchan munosabat birlamchi kalit mavjud bo'lishi kerak va hech qanday qiymat bo'lmaydi asosiy kalit qadriyatlar juftligida - munosabatlar o'zgaruvchan munosabat bo'lmasligi kerak noaniq qadriyatlar . Ushbu bayonot to'liq tushunilishi uchun biz hech bo'lmaganda qisqacha tushunchani muhokama qilishimiz kerak noaniq qiymat (NULL).
Albatta, nazariy jihatdan, saqlanib qolgan aloqada qayd etilgan har qanday to'plam real dunyoning mavjudligining barcha xususiyatlarini o'z ichiga olishi kerak, u biz ma'lumotlar bazasida saqlamoqchi bo'lganimizni taqlid qiladi. Biroq, amalda, ushbu xususiyatlarning barchasini ham ma'lumotlar bazasida ob'ektni tuzatmoqchi bo'lganingizda bilish mumkin emas. Oddiy misol, maoshi hali aniqlanmagan odamni ishga olish tartibi bo'lishi mumkin. Bunday holda, Kadrlar bo'limi xodimi, EMPLOYEE munosabatlaridagi yangi xodimni tavsiflovchi yozuvni qayd etib, SLU_ARP atributining qiymatini taqdim eta olmaydi (DIMENSIONS_DEMAND domenining har qanday qiymati yangi xodimning ish haqini noto'g'ri tavsiflaydi).
Edgar Codd bunday holatlarda foydalanishni taklif qildi aniqlanmagan qiymatlar. Aniqlanmagan qiymat har qanday ma'lumot turiga tegishli emas va har qanday ma'lumot turida aniqlangan har qanday atributning qiymatlari orasida mavjud bo'lishi mumkin (agar bu atributni belgilashda aniq taqiqlanmasa). Agar biron-bir ma'lumot turining qiymati yoki NULL bo'lsa, op bu turdagi har qanday "arifmetik" operatsiya (masalan, +) va lop - ushbu turdagi qiymatlarni taqqoslash operatsiyasi (masalan, \u003d), so'ngra ta'rifi bo'yicha:
a op NULL \u003d NULL NULL op a \u003d NULL a lop NULL \u003d noma'lum NULL lop a \u003d noma'lum
Bu erda noma'lum mantiqiy uchinchi qiymat, yoki boolean turiquyidagi xususiyatlarga ega:
Noma'lum \u003d noma'lum haqiqiy VA noma'lum \u003d noma'lum haqiqiy OR noma'lum \u003d haqiqiy noto'g'ri VA noma'lum \u003d noto'g'ri noto'g'ri yoki noma'lum \u003d noma'lum
(Eslatib o'tamiz, AND va OR operatsiyalari kommutativdir) 8 Muallifning tajribasi shuni ko'rsatadiki, asosiy mantiqiy operatsiyalarni har doim ham hamma talabalar eslayvermaydi. Bunga kafolat berish uchun biz operatsiyalarning haqiqat jadvallarini AND (va - birlashtirish), OR (- uzilish) va NOT (- rad etish):

VA	rost	yolg'on		YOKI	rost	yolg'on		YO'Q	rost	yolg'on
rost	rost	yolg'on		rost	rost	rost			yolg'on	rost
yolg'on	yolg'on	yolg'on		yolg'on	rost	yolg'on

. Ushbu ma'ruzada qisqacha kirish aniqlanmagan qiymatlar, ammo keyingi ma'ruzalarda biz ushbu mavzuga bir necha bor qaytamiz.
Demak, talablarning birinchisi talabdir tashkilot yaxlitligi - boshlang'ich kalit har bir ob'ektni to'liq identifikatsiya qilishi kerakligini va shuning uchun har qanday qiymatning bir qismi sifatida asosiy kalit ruxsat berilmagan noaniq qadriyatlar . (Klassikada relyatsion model Ushbu talab mumkin kalitlarga tegishli; SQLga yo'naltirilgan MBBTda bunday talab quyidagi ma'ruzalarda ko'rsatiladi mumkin tugmalar qo'llab-quvvatlanmaydi.)
Ikkinchi talab, deyiladi havolali yaxlitlik talabiyanada murakkab. Shubhasiz, munosabatlar normallashtirilgan sharoitda real dunyoning murakkab ob'ektlari relyatsion ma'lumotlar bazasida bir necha munosabatlarning bir nechta to'plamlari ko'rinishida taqdim etiladi. Masalan, siz nimani taqdim etmoqchi ekaningizni tasavvur qiling nisbiy ma'lumotlar bazasi OTD_NUMBER (bo'lim raqami), OTDRAZM (xodimlar soni) va OTD_SLU (bo'limning ko'p xodimlari) atributlari bilan DEPARTMENT. Har bir xodim uchun SLU_NUMBER (xodimning raqami), SLU_NAME (ishchining ismi) va SLU_ZARP (ish haqi) miqdorini saqlash kerak. 7-ma'ruzada ko'rib chiqamiz, tegishli ma'lumotlar bazasini to'g'ri tuzish bilan unda ikki munosabatlar paydo bo'ladi: DEPARTMENTS (DIV_NUMBER, DT_SIZE) (birlamchi kalit (OTD_NUMBER)) va EMPLOYEES (CASE_NUMBER, CASE_NAME, CASE_ZARP, CASE_OF_NAME) (birlamchi kalit (CASE_NUMBER)).
Ko'rinib turibdiki, SUL_OTD_ NOM atributi BUYuRChILAR munosabatiga kiritilmagan, chunki bo'lim raqami xodimning shaxsiy mulki hisoblanadi, ammo agar kerak bo'lsa, to'liq bo'limni qayta tiklash imkoniyatiga ega bo'lish uchun. SERV_NOT_ atributining qiymati SERVICE munosabatlarining istalgan qismidagi SERV_NOT_ atributining qiymatiga DEPARTMENTS munosabatlarining istalgan qismidagi mos kelishi kerak. Ushbu turdagi (ehtimol kompozit) atribut deyiladi tashqi kalit, chunki uning qiymatlari boshqa munosabatlarni o'z ichiga olgan mavjudotlarni o'ziga xos ravishda tavsiflaydi (ya'ni, ularning qiymatlarini belgilaydi) asosiy kalit) Albatta, tashqi kalit birlashtirilishi mumkin, ya'ni bir nechta atributlardan iborat bo'lishi mumkin. Aytilishicha, tashqi kalit belgilanadigan munosabatlar xuddi shu atribut bo'lgan tegishli munosabatni anglatadi asosiy kalit.
Talab havolaning yaxlitligiyoki tashqi kalitning yaxlitligini ta'minlash talabi shundaki, tashqi kalitning har bir qiymati uchun qiymat bilan bog'liq bo'lgan satrda paydo bo'ladi. o'zgaruvchan munosabat, yoki ma'no-munosabatda o'zgaruvchan munosabatbog'lanish nuqtalari bir xil qiymatga ega bo'lgan to'plamga ega bo'lishi kerak asosiy kalit, yoki tashqi kalitning qiymati to'liq noma'lum bo'lishi kerak (ya'ni, hech narsani ko'rsatmang) 9 SQL tilida tashqi kalitni aniqlashning bir nechta variantiga ruxsat berilgan, ulardan faqat bittasi klassik yondashuvga to'liq mos keladi. Buni keyingi ma'ruzalarda batafsil muhokama qilamiz. . Bizning misolimiz uchun, agar xodim uchun bo'lim raqami ko'rsatilgan bo'lsa, unda bu bo'lim mavjud bo'lishi kerak.
Birlamchi kalit kabi,
Matematikaning to'plamdagi nazariya va birinchi darajali mantiq kabi sohalarida ma'lumotlarni qayta ishlash muammolari uchun qo'llaniladigan dastur.
Relyatsion ma'lumotlar bazalari relyatsion ma'lumotlar modeliga asoslanadi.
Relyatsion ma'lumotlar modeli quyidagi tarkibiy qismlarni o'z ichiga oladi.

• 
  Strukturaviy jihat (tarkibiy qism) - ma'lumotlar bazasidagi ma'lumotlar o'zaro munosabatlar majmui.
  
• 
  Butunlikning aspekti (tarkibiy qismi) - munosabatlar (jadvallar) yaxlitlikning ma'lum shartlariga mos keladi. RMD domen darajasi (ma'lumotlar turi), munosabatlar darajasi va ma'lumotlar bazasi darajasi uchun deklarativ yaxlitlikni cheklaydi.
  
• 
  Qayta ishlash (manipulyatsiya) yo'nalishi (tarkibiy qismi) - RMD aloqalarni manipulyatsiya qilish operatorlarini qo'llab-quvvatlaydi (relyatsion algebra, relyatsion hisob).
  

Relyatsion ma'lumotlar bazalarining asosiy tushunchalari ma'lumotlar turi, munosabatlar, mantiqiy ob'ekt, atribut, domen, tup, asosiy kalitdir.
Tushunchasi ma'lumotlar turi relyatsion ma'lumotlar modelida dasturlash tillarida ma'lumotlar turi tushunchasiga mutlaqo o'xshash. Odatda, zamonaviy relyatsion ma'lumotlar bazalarida belgi, sonli ma'lumotlar, bit satrlari, ixtisoslashtirilgan raqamli ma'lumotlarni (masalan, pul), shuningdek maxsus ma'lumotlarni (sana, vaqt, vaqt oralig'i) saqlashga ruxsat beriladi.