Mavzu:16.Atributlarning funktsional bog'liqligi

Mavzu:16.Atributlarning funktsional bog'liqligi.
Reja:
1. Atributlar to'plamining yopilishi
2. Atributlarning funktsional bog'liqligi.
3. Funktsional qaramlikning yopilishi
Ushbu maqola relyatsion ma'lumotlar bazasi nazariyasidagi kontseptsiya haqida. Haskell dasturlash tilidagi funktsional bog'liqliklar uchun qarang turi sinf.
Bu maqola uchun qo'shimcha iqtiboslar kerak tekshirish. Iltimos yordam bering ushbu maqolani yaxshilang tomonidan ishonchli manbalarga iqtiboslarni qo'shish. Ma'lumot manbasi bo'lmagan material shubha ostiga olinishi va olib tashlanishi mumkin.
Manbalarni toping: "Funktsional qaramlik" – Yangiliklar · gazetalar · kitoblar · olim · JSTOR (2012 yil oktyabr) (Ushbu shablon xabarini qanday va qachon olib tashlashni bilib oling)
Yilda relyatsion ma'lumotlar bazasi nazariya, a funktsional bog'liqlik a cheklash a atributlarining ikkita to'plami o'rtasida munosabat ma'lumotlar bazasidan. Boshqacha qilib aytganda, funktsional bog'liqlik - bu ikkita kalit o'rtasidagi cheklov R, atributlar to'plami X yilda R deyiladi funktsional jihatdan aniqlang atributlarning yana bir to'plami Y, shuningdek R, (yozma) X → Y) agar va faqat har biri bo'lsa X qiymati R aniq biri bilan bog'liq Y qiymati R; R keyin aytiladi qondirmoq funktsional bog'liqlik X → Y. Teng ravishda proektsiya { displaystyle Pi _ {X, Y} R} a funktsiya, ya'ni Y ning funktsiyasi X.[1][2] Oddiy so'zlar bilan aytganda, agar uchun qiymatlar X atributlari ma'lum (ular borligini ayting x), keyin uchun qiymatlar Y ga mos keladigan atributlar x ularni qidirib topish orqali aniqlash mumkin har qanday panjara ning R o'z ichiga olgan x. Odatda X deyiladi aniqlovchi o'rnatish va Y The qaram o'rnatilgan. FD funktsional bog'liqligi: X → Y deyiladi ahamiyatsiz agar Y a kichik to'plam ning X.
Boshqacha qilib aytganda, FDga bog'liqlik: X → Y degan ma'noni anglatadi Y ning qiymatlari bilan belgilanadi X. Xuddi shu qiymatlarni baham ko'rgan ikkita katak X albatta bir xil qiymatlarga ega bo'ladi Y.
Funktsional bog'liqliklarni aniqlash ma'lumotlar bazalarini loyihalashning muhim qismidir munosabat modeli va ma'lumotlar bazasini normalizatsiya qilish va denormalizatsiya. Funktsional bog'liqlikning oddiy qo'llanilishi Xit teoremasi; unda munosabat deyiladi R atributlar to'plami ustida U va funktsional bog'liqlikni qondirish X → Y ga ega bo'lgan ikkita munosabatlarga xavfsiz ravishda bo'linishi mumkin yo'qotishsiz qo'shilish dekompozitsiyasi mulk, ya'ni ichiga { displaystyle Pi _ {XY} (R) bowtie Pi _ {XZ} (R) = R} qayerda Z = U − XY atributlarning qolgan qismi. (Kasaba uyushmalari atributlar to'plami odatda ma'lumotlar bazasi nazariyasida faqat o'zaro bog'lanishlar bilan belgilanadi.) Ushbu kontekstdagi muhim tushuncha nomzod kaliti, munosabatdagi barcha atributlarni funktsional ravishda belgilaydigan minimal xususiyatlar to'plami sifatida aniqlanadi. Bilan birga funktsional bog'liqliklar atribut domenlari, mos bo'lmagan ma'lumotlarning ko'pini istisno qiladigan cheklovlarni yaratish uchun tanlangan foydalanuvchi domeni iloji boricha tizimdan.
Tushunchasi mantiqiy xulosa funktsional bog'liqliklar uchun quyidagi tarzda aniqlanadi: funktsional bog'liqliklar to'plami Sigma mantiqan boshqa bog'liqliklar to'plamini nazarda tutadi Gamma, agar biron bir munosabat bo'lsa R dan barcha bog'liqliklarni qondirish Sigma dan ham bog'liqlikni qondiradi Gamma; bu odatda yoziladi Sigma models Gamma. Funktsional bog'liqliklar uchun mantiqiy xulosa tushunchasi a tovush va to'liq cheklangan aksiomatizatsiya sifatida tanilgan Armstrong aksiomalari.
|