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

Нормализиране на релационния модел се основава на концепцията за функционална зависимост.

Да предположим, че даден съотношение R.

Умение Afunktsionalno определя атрибут B (AV) ако всеки атрибут стойност А съответства на един атрибут стойност В. Например, по отношение УЧЕНИК (№ Gradebook, име, име, дата на раждане) в проекцията на R [А, В] може да бъде идентифицира следните функционални зависимости: zachotnoo knizhkiFamiliya номер, рекорден брой на студентите knizhkiImya, рекорден брой knizhkiOtchestvo студента, рекорден брой knizhkiData раждане на ученика. В същото време, Фамилия функционално определя броя Gradebook. тъй като със същото име може да има множество преписи на книги.

Ако AV и VA. тогава има биективен връзка (AV), например INN№ Gradebook.

Така например, по отношение на TEST (брой студент дисциплина код, дата, код учител, оценка) могат да се определят следните функционални отношения: брой на студентите, distsiplinyotsenka код; Брой на студентите дисциплина код dataotsenka; Брой на студентите дисциплина код, дата код prepodavatelyaotsenka; Студентски номер, дата, prepodavatelyaotsenka код; . Учител код datakod дисциплина и други условия за съществуването на функционални връзки от тях са следните твърдения на определена дисциплина даден студент могат да бъдат определени само една оценка по време на съществуването на базата данни; на същата дата учителят може да отнеме само един изпит; конкретна тема за определена дата, само един учител обучава. По този начин, функционални зависимости отразяват специфичните правила за домейна. Промяна на правилата води до промяна във функционалните зависимости.

Използването на понятието за функционална зависимост можем да формулираме следното правило:

ако проектиран релационен модел отговаря на критерия за нормализация, единствените функционалните връзки в една връзка трябва да се основават vidaKV, gdeK- основен ключ връзка.

От изложеното по-горе твърдения може да се даде ключова определение:

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

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

Теорема 1. Всеки набор от атрибути функционално определя всяка своя подгрупа.

Теорема 5. Между ключовите атрибути на функционални зависимости не съществуват.

Вижте "Теория на релационна база данни"

Нормални форми на отношения. Метод за разлагане

1 Нормални форми на отношения

Нормалната форма на връзка - връзка с допълнителните ограничения за стойностите, съхранявани в него.

Първо Нормално Форма (1NF) - съотношението в която всеки елемент има атомна стойност, принадлежащи към съответния домен.

Второ нормална форма (2NF) - съотношение, което е в първата нормална форма и не съдържащ частични функционални зависимости.

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

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

Фигура 1 - Съотношението, която не е в 2NF

Недостатъците на тази нагласа:

1) графата "Доставчик Name" и "доставчик на информация" не може да се напълни до действителната доставка на конкретно лице;

2) Ако доставчикът забавена доставка на някои страни, премахването на кортеж ще доведе до премахване на доставчика;

3) Ако искате да промените доставчик на информация, те трябва да се променят всички кортежи, който се отнася до доставчика.

За втория нормална форма трябва да бъде първоначалното съотношение разделена на две нагласи:

- се отнася до композитен ключ;

- връзка с ключа е подмножество на ключа композит.

За този пример получаваме:

Доставчик (брой доставчик, име доставчик, информация продавач);

СТРАНА (брой продавач, код на продукта, партиден номер, количество).

Третият нормална форма (3NF) - съотношението, разположен във втората нормална форма и не съдържащ преходни връзки.

Вземем примера на една връзка, в която има преходен връзка:

STUDENT (№studenta, GRP, Факултет Code).

В това отношение №studenta№gruppy, №gruppyKod факултет №studentaKod факултет.

1) данни съкращения (Факултет код се повтаря за всички групи от ученици, въпреки че това би било достатъчно, за да го подчертая, след като в продължение на една група);

2) усложнение на целостта на данните.

трябва да се разделят на оригиналния отношението За 3NF на две: