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

Funktsional qaramlikning yopilishi
Yopish, asosan, uning funktsional bog'liqliklari yordamida ma'lum bir munosabatlar uchun ma'lum qiymatlar to'plamidan aniqlanishi mumkin bo'lgan to'liq qiymatlar to'plamidir. Biri foydalanadi Armstrong aksiomalari dalilni taqdim etish - ya'ni refleksivlik, kattalashtirish, tranzitivlik.

Berilgan R va F ushlab turadigan FD to'plami R: Yopilishi F yilda R (belgilanadi F+) mantiqan nazarda tutilgan barcha FD-lar to'plamidir F.

Atributlar to'plamining yopilishi
X atributlari to'plamining yopilishi F X to'plamidir+ funktsional ravishda X yordamida aniqlanadigan barcha xususiyatlarning F+.

Misol
Quyidagi FD ro'yxatini tasavvur qiling. Biz ushbu munosabatlardan A uchun yopilishni hisoblaymiz.

1. A → B
2. B → C
3. AB → D.

Yopish quyidagicha bo'ladi:

a) A → A (Armstrongning refleksivligi bo'yicha)
b) A → AB (1 ga va (a) ga)
c) A → ABD ((b), 3 va Armstrongning tranzitivligi)
d) A → ABCD ((c) va 2)

Shuning uchun yopilish A → ABCD. A ning yopilishini hisoblab, biz A ning yaxshi nomzod kaliti ekanligini tasdiqladik, chunki uning yopilishi munosabatlardagi har qanday ma'lumot qiymatidir.

Muqova va tenglik
Muqovalar
Ta'rif: F qopqoqlar G agar har bir FD bo'lsa G haqida xulosa qilish mumkin F. F qopqoqlar G agar G+ ⊆ F+
Har qanday funktsional bog'liqliklar to'plami a kanonik qopqoq.

Ikkala FD to'plamining ekvivalenti
Ikkita FD to'plami F va G sxema bo'yicha R teng, yozilgan F ≡ G, agar F+ = G+. Agar F ≡ G, keyin F uchun qopqoq G va aksincha. Boshqacha qilib aytganda, funktsional bog'liqliklarning ekvivalent to'plamlari deyiladi qopqoqlar bir-birining.

Ortiqcha bo'lmagan qoplamalar
To'plam F Agar tegishli kichik to'plam bo'lmasa, FD-lar kerak bo'lmaydi F ' ning F bilan F ' ≡ F. Agar shunday bo'lsa F ' mavjud, F ortiqcha. F uchun keraksiz qopqoq G agar F uchun qopqoq G va F ortiqcha emas.
Qisqartirishning muqobil tavsifi shundan iborat F agar FD bo'lmasa, ortiqcha bo'lmaydi X → Y yilda F shu kabi F - {X → Y} models X → Y. FD-ga qo'ng'iroq qiling X → Y yilda F ortiqcha F agar F - {X → Y} models X → Y.