Разлика између БЦНФ и 3НФ

БЦНФ вс. 3НФ

Нормални облик Боице Цодда (такође познат као БЦНФ) је нормалан облик - то је облик који пружа критеријуме за одређивање степена рањивости табеле на логичке недоследности и аномалије. Овај нормалан облик се користи у нормализацији базе података. Нешто је јачи од претходника, трећи нормалан облик (такође познат као 3НФ). Сматра се да је табела у БЦНФ-у ако и само ако је за сваку ако су њене не-тривијалне функционалне зависности - то је граница која је постављена између два скупа атрибута у односу преузетом из базе података - суперкеи (скуп атрибути релационе варијабле који постулира да у свим односима додијељеним тој специфичној варијабли не постоје два различита реда која садрже исту вриједност за атрибуте у том одређеном скупу). БЦНФ постулира да је свака табела која не испуњава критеријуме који се могу приписати БНЦФ-у подложна логичким недоследностима..

3НФ је нормалан облик који се такође користи у нормализацији база података. Сматра се да је табела у 3НФ ако и само ако је 1) табела у другом нормалном облику (или 2НФ, што је први нормалан код, или 1НФ, који је испунио критеријуме да постане 2НФ) и 2) сваки атрибут табеле који није празан зависи од сваког кључа табеле (што значи да није директно зависан од сваког кључа). Постоји још једна постулација 3НФ која се такође користи да се утврде разлике између 3НФ и БЦНФ.

Ову теорему осмислио је Царло Заниоло 1982. године. Она каже да је табела у 3НФ ако и само ако за сваку функционисану зависност где је Кс ′ А А, мора да постоји најмање један од три услова: или Кс † 'А, Кс је суперкеи или је АИ главни атрибут (што значи да је А садржан у кандидатском кључу - или минималан суперкеи за тај однос). Ова новија дефиниција разликује се од теореме БЦНФ по томе што би потоњи модел једноставно елиминисао последњи услов. Иако делује као новија верзија теореме 3НФ, постоји изведба теореме Заниоло. У њему се каже да је Кс А † А неривијално. Ако је то тачно, нека је А атрибут кључа поднева и нека је И кључ од Р. Ако то држи, онда је И † Кс. То значи да А не зависи прелазно од И ако и само ако је Кс а † 'И (или ако је Кс суперкеи.

Резиме:

1. БЦНФ је нормалан облик у коме је за сваку од неривијалних функционалних зависности табеле надређени кључ; 3НФ је нормалан облик у којем је табела у 2НФ и сваки не-примарни атрибут не-транзитивно зависи од сваког кључа у табели.