Функционални зависимости и нормални форми

Функционално zavisimost- стойност на атрибут в кортеж идентифицира по уникален начин стойността на друг атрибут в кортеж. Формално функционалната връзка се определя, както следва: ако А и В - R атрибути в таблицата, влизането

показва, че ако две кортежи в Таблица R са еднакви атрибут стойност, а след това те имат същата V. атрибут стойност Тази дефиниция се отнася също и когато А и В - множество от колони, а не само отделните колони. Обозначението гласи: Функционално определя В.

Умение в лявата част на FZ нарича детерминанта. атрибут детерминанта (атрибут), който определя стойност на стойностите на други атрибути на кортежи.

Най-релационна таблица е във втора нормална форма (2NF), ако не неключови атрибути не са функционално зависими само от страна на ключа. Така вторият нормална форма може да бъде разбита само когато ключов компонент.

Ако таблицата не отговаря на 2NF, тогава има най-различни аномалии (вход, актуализиране, изтриване). За да се отървете от аномалии маса трябва да бъде разделена на две релационни таблици, всяка от които изпълнява 2NF. Тези две малки маси, наречени проекцията на оригиналната таблица. Proektsiya- маса, състояща се от няколко избрани атрибут на друга маса. Процесът на разделяне на две 2NF маса се състои от следните етапи:

1) се създава нова таблица, атрибутите, които са атрибути на оригиналната таблица, включена в федерален закон противоречи на правилата. Флорида е ключов фактор за новата маса;

2) атрибут в дясно от Федералния закон, се изключва от оригиналната таблица;

3) ако повече от един FL нарушава 2NF, след това стъпки 1 и 2 се повтарят за всеки такъв FL;

4) Ако едно и също определящ се предлага в няколко FZ, всички функционално зависим от атрибутите му се поставят в неключови атрибути, посочени в таблицата, които ще бъдат ключов определящ фактор.

Релационна таблица има трета нормална форма (3NF) ако по някаква функционална зависимост. X е ключът (т.е. deteminant е ключът). От това следва, че всяка маса, която отговаря 3NF tazhe отговаря 2NF. Ако таблицата не отговаря на 3NF, има излишък на данни, което води до най-различни аномалии. Решението на тези проблеми - едно и също разпределение.

От 3NF маси винаги отговарят 2NF достатъчно, за да се използва критерият на третата нормална форма. Ако всеки определящ фактор в таблицата е ключът на тази таблица, таблицата е първа, втора и трета нормална форма. Това опростява процеса на нормализиране, тъй като е необходимо да се провери само един критерий.

Трябва да се отбележи, че това определение съответства на трета нормална форма в някои източници нормална форма Boyce-Codd.

В повечето случаи, за постигане на третата нормална форма и се счита за достатъчно за действителните проекти за бази данни, но теорията за нормализиране са нормални форми на по-високи поръчки, които вече са свързани не с функционални зависимости между атрибутите на отношения, и да се отрази по-фините въпроси на семантиката на домейн и свързани с други видове зависимости.

Първата нормална форма забранява да има мулти-ценен атрибути. Въпреки това, има много ситуации, когато трябва да се двусмислие.

Състояние гарантиране на независимостта на атрибутите, като изисква повторение на ценности нарича multivalued зависимостта (защитени морски зони). Защитени морски зони, е една и съща ограничително условие, като Флорида, тъй като те изискват огромен брой повторения на стойности на данни. Важен етап в нормализирането се състои в това да се отървем от мулти-ценен зависимости. Маса е на четвърто нормално форма. ако е в трета нормална форма и няма мулти-ценен зависимости. Тъй като проблемът с мулти-ценен зависимости да възникнат във връзка с мулти-ценен атрибут, тогава проблемът е решен чрез поставяне на мулти-ценен зависимости на всяка мулти-ценен атрибут в собствената си маса с ключа, който зависи атрибут.

Помислете за конкретната ситуация ясно за всички ученици. Да предположим, че са дадени отношение, което симулира предстоящите изпити в сесия. Да кажем, че тя изглежда като:

(No. zach.kn. Group, дисциплина).

Списъкът на дисциплини, които ученикът трябва да предприемат, очевидно не определя от неговото име и номер на групата (т.е. специалност).

В тази връзка, следните два-ценени зависимости:

Group - "Дисциплина и Group -" Стая zach.kn.

Това означава, че всяка група еднозначно съответства на списъка с въпросите на учебната програма и на броя на групата определя списъка на студенти, които учат в тази група.

Ако ние работим с първоначалната нагласа, ние няма да можем да съхранява информация за новата лента и неговата програма - списък на обектите, които трябва да преминат, преди групата, докато учениците са записани в него. Когато промените списъка на предметите в учебната програма, например, добавяне на нова дисциплина, за да направи тези промени по отношение на всички студенти, които участват в тази група е много трудно. От друга страна, ако добавим студенти към съществуваща група, трябва да добавим набор от кортежи, отговарящи на списъка на предметите, за групата. Това съотношение аномалии модификация е точно свързана с наличието на два multivalued зависимости.

В този пример, можете да направите първоначалното съотношение на разлагане на две отношения:

(No. zach.kn. Group)

И на тези нагласи са в четвърта нормална форма и без аномалии отбележи. Всъщност, и двете операции са вече опростени модификация: добавянето на нов ученик, свързани с добавянето на само един кортеж в първия съотношение, и добавянето на нови резултати дисциплина в добавянето на един кортеж през втората нагласа. В допълнение, през втората връзка можем да съхранявате произволен брой групи с определен списък от дисциплини, които все още не са записани студенти.

Последното е нормална форма пета нормална форма 5NF, което

рядко се използва в практиката. До голяма степен това е теоретично изследване.