Third Normal Form — Second Normal Formdagi relationda non-prime atributlar candidate keyga boshqa non-prime atribut orqali transitiv bog‘lanmasligini ta’minlaydigan normal shakl. Formal ta’rif determinant va prime atribut shartlari bilan ifodalanadi.
Transitive dependency
Employee relationida employee_id department_idni aniqlaydi. Bu holat functional dependency va constraintlar asosida tekshiriladi. Department_id esa department_name qiymatini aniqlaydi. Natija schema semantikasi hamda application talabiga bog‘liq. Department_name employee keyiga department_id orqali transitiv bog‘langan. Misol real insert, update, delete yoki query oqimida tasdiqlanadi.
Decomposition
Department ID va nom alohida Department relationiga ajratiladi. Natija schema semantikasi hamda application talabiga bog‘liq. Employee relationida department_id foreign key bo‘lib qoladi. Misol real insert, update, delete yoki query oqimida tasdiqlanadi. Join employee va department ma’lumotini qayta birlashtiradi. Bu holat functional dependency va constraintlar asosida tekshiriladi.
Integrity foydasi
Department nomi bitta joyda yangilanadi. Misol real insert, update, delete yoki query oqimida tasdiqlanadi. Employee bo‘lmasa ham yangi departmentni saqlash mumkin. Bu holat functional dependency va constraintlar asosida tekshiriladi. Oxirgi employee o‘chirilganda department ma’lumoti yo‘qolmaydi. Natija schema semantikasi hamda application talabiga bog‘liq.
Amaliy muvozanat
3NF transactional schema uchun yaxshi boshlang‘ich nuqta hisoblanadi. Bu holat functional dependency va constraintlar asosida tekshiriladi. Reporting uchun denormalized read model ishlatilishi mumkin. Natija schema semantikasi hamda application talabiga bog‘liq. Redundancy kiritilsa refresh va integrity egasi aniq belgilanadi. Misol real insert, update, delete yoki query oqimida tasdiqlanadi.
Schema va amaliyot
Third Normal Formni baholashda table nomiga emas, attribute ma’nosi, candidate key, dependency va asosiy access patternlarga qaraladi. Sample data barcha constraintni namoyon qilmasligi mumkin; biznes qoidasi schema bilan birga yoziladi. Migration oldidan mavjud rows yangi qoidalarga mosligi tekshiriladi.
Decomposition yoki projection o‘zgarishi query, index va transactionlarga ta’sir qiladi. Testlar insert, update, delete, duplicate delivery va rebuild holatini qamraydi. Ownership hamda authoritative manba aniq bo‘lsa, Third Normal Form bilan bog‘liq integrity va staleness muammolari productionga chiqishidan oldin aniqlanadi.
Chekka holatlar va nazorat
Loyihalash jarayonida transitive dependency bilan decomposition bir xil qatlam deb qaralmaydi. Birinchi qism noto‘g‘ri bo‘lsa, keyingi qismning muvaffaqiyatli ko‘rinishi umumiy natijani kafolatlamaydi. Shu sabab input, oraliq holat va yakuniy natija alohida qayd etiladi. Limitga yaqin qiymatlar, bo‘sh to‘plam, duplicate amal, kechikkan javob va qisman nosozlik maxsus testlar bilan qamrab olinadi.
Third Normal Form uchun integrity foydasi hamda amaliy muvozanat production metrikalarida mustaqil ko‘rinishi kerak. Second Normal Form, BCNF va Transitive dependency bilan bog‘lanishlar configuration yoki schema o‘zgarganda qayta tekshiriladi. Normal trafficdagi muvaffaqiyat failure paytidagi recoveryni isbotlamaydi; runbook, alert chegarasi va rollback amalda sinab ko‘riladi. Natijalar owner va o‘zgarish versiyasi bilan saqlansa, keyingi incidentda sababni taxmindan emas, dalildan aniqlash mumkin.
BCNF 3NFdan qat’iyroq bo‘lib, har nontrivial dependency determinantining superkey bo‘lishini talab qiladi. 3NF dependency preservation uchun ayrim holatda amaliy muvozanat beradi.
Har decompositiondan keyin lossless join xususiyati alohida dalil bilan tekshiriladi.
Bog‘liq tushunchalar
Second Normal Form, BCNF, Transitive dependency, Functional dependency, Foreign key, Decomposition, Data anomaly, Denormalization