Фейджин теоремасы . R ( А,В,С) қатынасын R1 ( А,В) және R2 (А,С) қатынастарында жоғалтусыз тек А=> В/С тәуелділігі болған жағдайда ғана жобалауға болады.
Жоғалтусыз жобалау дегенде келесі қатынас декомпозициясының әдісі түсініледі: ол кезде бастапқы қатынас түгелімен және қалдақсыз қатынастарды табиғи біріктіру жолымен келтіріледі. Біздің мысалымыз үшін келесі қатынастарды пайдаланамыз:
Жобалар -Тапсырмалар
Декомпозициялардың барлығы жоғалтусыз қасиетке ие емес, олай болған жағдайда оның бір мәнді қалыпқа келуін орындайтын әдіс жоқ.
Бесінші жай күй R (x ,y, …z ) қатынасы бесінші жай күйде болады, тек қана R –қатынасындағы қосылудың кез-келген тәуелділігі R-да болуы мүмкін кілттің болуынан шығады.
Әдетте тәжірибеде 3ДФ-ға немесе БКДФ-ға сәйкес мәліметтер базасы құрылымымен шектеледі.
Шағын мәліметтер базасын жобалау үшін қолданылатын кодтығң жай куйі әдісінен басқа өзге де әдістер қолданылады. Мысалы ER-диаграммалар әдісі ( «Түсінік – байланыс» әдісі). Бұл әдіс ірі мәліметтер базасын жобалау кезінде қолданылады. Бұл әдістің соңғы этабында жобалау нәтижесінде алынған қатынастар жай күйлер әдісі арқылы БКДФ- ға тиістілігіне тексеріледі. Жобалау аяқталғаннан кейін мәліметтер базасын басқару жүйесі арқылы мәліметтер базасы құрылады.
Бүтіндікті қамтамасыз ету.
Бүтіндік дегенде мәліметтер базасының келесі қасиеті түсініледі: бұл қасиет ақпараттың пәндік облысын толық, қайшылықсыз және біртекті сипаттайды.
Бүтіндіктің 2 түрі болады: физиканың және логикалық. Физикалық бүтіндік мәліметтерге физикалық рұқсаттың болуын және мәліметтер жоғалмағандығын көрсетеді. Логикалық бүтіндік мәліметтер базасында логикалық қателердің болмауын сипаттайды. Логикалық қателерге келесілер жатады: мәліметтер базасының немесе оның объектілерінің құрылымының бұзылуы, объектілер арасындағы байланысының жойылуы немесе өзгертілуі және т.б.
Мәліметтер базасының бүтіндік күйі шарттар күйіндегі бүтіндіктің шектеулілігі көмегімен құрылады. Базада сақталған мәліметтер бұл шарттарды қанағаттандыруға тиіс. Олардың негізгілері: қатынастың атрибуттарының мәндерінің шектеулері және қатынас кортеждеріне құрылымдық шектеулер.
Қатынас атрибуттарының мәндерінің шектеулігі – бос немесе қайталанатын атрибут мәндерін жібермейді, талап ету, с.қ. атрибут мәндерінің берілген диапазонға сәйкестігін бақылау.
Қатынас кортеждеріне құрылымдық шектеулер түсініктер мен ссылкалардың бүтіндігін талап етеді. Түсініктің бір экземплярына оның тек қана бір кортежі сәйкес келеді (яғни, кортеждердің қайталанбауы саұталуы тиіс). Ссылкалар бүтіндігі сыртқы кілт түсінігімен байланысты. Сыртқы кілттер қатынастарды өзара байланыстыру қызметін атқарады. Соның өзінде бір қатынастың атрибуты осы қатынасты сыртқы кілті болады, егер ол басқа қатынастың алғашқы кілті болса. Ссылкалардың бүтіндігін талап етудің мәні мынада – бірінші қатынастың сыртқы кілттің әрбір мәні үшін таблицада осыдан алғашқы кілттің мәніндей жол табылуы тиіс.
Көптеген қазіргі мәліметтер базасын басқару жүйелерінде мәліметтер базасының бүтіндігін бақылауды қамтамасыз ету құралдары бар.