Ebből: főbb fogalmak és algoritmusok | oldalon | példák |
funkcionális függőség
(ff), kulcs Armstrong axiómák attribútumhalmaz lezártja |
def. 4.o. def. 8.o. alg.20.o |
pl. 5.o. pl.12.o. pl.23.o. |
veszteségmentes (VM)
dekompozíció veszteségmentesség ellenőrzése: chase |
def.24.o. alg.27.o. |
pl.31,33 |
függőségek vetülete függőségőrző (FŐ) dekompozíció függőségőrzés ellenőrzése |
def.38.o. def.39.o. alg.41.o. |
pl.42.o. |
BCNF (Boyce-Codd normálforma) | def.44.o. | |
VM BCNF dekomp. naív algoritmus VM BCNF dekomp. hatékony alg. |
alg.52.o. |
pl.49.o. pl.53,54 |
3NF (harmadik normálforma) | def.56.o. | |
minimális fedés minimális fedés keresése, mohó alg. VM FŐ 3NF dekomp. algoritmus |
def.59.o. alg.61.o. alg.66.o. |
pl.62.o. pl.71.o. |
Vissza az AB1 gyakorlat oldalára | Vissza a Kezdőlapra |