‘l texnikumi “Temir yo'l transportida intellektual axborot tizmlari va ularni loyihalash

Normallashtirishga mo'ljallangan dasturlar
Advertisement
Xit teoremasi
Funktsional bog'liqliklarning muhim xususiyati (darhol qo'llaniladigan), agar shunday bo'lsa R ba'zi bir atributlar to'plamidan nomlangan ustunlar bilan aloqadir U va R ba'zi bir funktsional bog'liqlikni qondiradi X → Y keyin { displaystyle R = Pi _ {XY} (R) bowtie Pi _ {XZ} (R)} qayerda Z = U − XY. Intuitiv ravishda, agar funktsional bog'liqlik bo'lsa X → Y ushlaydi R, keyin munosabatlar xavfsiz ravishda ustun bilan birga ikkita munosabatlarga bo'linishi mumkin X (bu kalit { displaystyle Pi _ {XY} (R) bowtie Pi _ {XZ} (R)}) ikkala qism birlashtirilganda hech qanday ma'lumot yo'qolmasligini ta'minlash, ya'ni funktsional bog'liqlik a tuzishning oddiy usulini beradi parchalanishga qo'shilish ning R ikkita kichik munosabatlarda. Ba'zan bu haqiqat deyiladi Xitlar teoremasi; ma'lumotlar bazasi nazariyasining dastlabki natijalaridan biridir.

Xit teoremasi samarali ravishda biz qiymatlarini chiqarib tashlashimiz mumkinligini aytadi Y katta munosabatlardan R va ularni birida saqlang, { displaystyle Pi _ {XY} (R)}qatorida hech qanday qiymat takrorlashi bo'lmagan X va samarali a qidiruv jadvali uchun Y tomonidan belgilanadi X va shuning uchun yangilash uchun faqat bitta joy mavjud Y har biriga mos keladi X "katta" munosabatlardan farqli o'laroq R har birining potentsial nusxalari ko'p bo'lgan joylarda X, har birining nusxasi bilan Y yangilanishlarda sinxronlashtirilishi kerak. (Bu ortiqcha narsani yo'q qilish afzallikdir OLTP kontekst, bu erda ko'plab o'zgarishlar kutilmoqda, ammo unchalik emas OLAP asosan so'rovlarni o'z ichiga olgan kontekstlar.) Xitning parchalanishi faqat qoladi X sifatida harakat qilish tashqi kalit katta stolning qolgan qismida { displaystyle Pi _ {XZ} (R)}.

Biroq, funktsional bog'liqliklar bilan aralashmaslik kerak qo'shilish bog'liqliklari chet el kalitlari uchun formalizm bo'lgan; ular normallashtirish uchun ishlatilgan bo'lsa ham, funktsional bog'liqliklar bitta munosabat (sxema) bo'yicha cheklovlarni bildiradi, qo'shilish bog'liqliklari esa ma'lumotlar bazasi sxemasi. Bundan tashqari, ikkala tushuncha hatto ichida kesishmaydi bog'liqliklarning tasnifi: funktsional bog'liqliklar tenglikni keltirib chiqaradigan bog'liqliklar shu bilan birga qo'shilish bog'liqligi tuple hosil qiluvchi bog'liqliklar. Munosabatlar sxemasi dekompozitsiyasidan (normallashtirishdan) keyin havolali cheklovlarni amalga oshirish yangi formalizmni, ya'ni qo'shilish bog'liqligini talab qiladi. Xit teoremasidan kelib chiqadigan parchalanishda, korroziyani kiritishga hech narsa to'sqinlik qilmaydi { displaystyle Pi _ {XZ} (R)} qiymatiga ega X topilmadi { displaystyle Pi _ {XY} (R)}.

Oddiy shakllar
Oddiy shakllar ma'lumotlar bazasini normalizatsiya qilish jadvalning "yaxshilik" ini belgilaydigan darajalar. Odatda, uchinchi normal shakl relyatsion ma'lumotlar bazasi uchun "yaxshi" standart deb hisoblanadi.[iqtibos kerak ]

Normallashtirish ma'lumotlar bazasini yangilanish, qo'shilish va yo'q qilish anomaliyalaridan xalos etishga qaratilgan. Shuningdek, munosabatlarga yangi qiymat kiritilganda ma'lumotlar bazasiga minimal ta'sir ko'rsatishi va shu bilan ma'lumotlar bazasidan foydalanadigan dasturlarga minimal ta'sir ko'rsatishi ta'minlanadi.[iqtibos kerak ]