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


Funktsional qaramlikning yopilishi



Yüklə 1,16 Mb.
səhifə29/36
tarix28.09.2023
ölçüsü1,16 Mb.
#150207
1   ...   25   26   27   28   29   30   31   32   ...   36
maruza

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.


Yüklə 1,16 Mb.

Dostları ilə paylaş:
1   ...   25   26   27   28   29   30   31   32   ...   36




Verilənlər bazası müəlliflik hüququ ilə müdafiə olunur ©azkurs.org 2024
rəhbərliyinə müraciət

gir | qeydiyyatdan keç
    Ana səhifə


yükləyin