Я думаю что нарушена 4 форма, т.к. любой элемент таблицы должен многозначно зависить(->>) от одного любого элемента, т.е. Если атрибут
А->>Б, то А функционально зависит от Б и независит от любого другого элемента.

А у тя получается, что IDX_NAME зависит от TAB_NAME и COL_NAME антрибутов, что противоречит 4НФ.

Возможно, ответ где-то здесь, но пока все равно не ясно. Т.е. нарушение лежит выше 3НФ.

А что не ясно???

а по моему нарушение 3NF

если в
KEYS(IDX_NAME, TAB_NAME, COL_NAME) -- поля индексов



убрать поле TAB_NAME, то будет все нормально
KEYS(IDX_NAME, COL_NAME) -- поля индексов



Это и есть как раз 4 НФ, т.к. в 3НФ идет речь о не ключевых полях, а в 4НФ про любое сочеиание полей....

Вот определения

3НФ
Перед обсуждением третьей нормальной формы необходимо ввести понятие транзитивной функциональной зависимости.
Определение:

Пусть X, Y, Z - три атрибута некоторого отношения. При этом X --> Y и Y --> Z, но обратное
соответствие отсутствует, т.е. Z -/-> Y и Y -/-> X. Тогда Z транзитивно зависит от X.

Пусть имеется отношение ХРАНЕНИЕ (ФИРМА, СКЛАД, ОБЪЕМ), которое содержит информацию о фирмах, получающих товары со складов, и объемах этих складов. Ключевой атрибут - "фирма". Если каждая фирма может получать товар только с одного склада, то в данном отношении имеются следующие функциональные зависимости:

фирма -> склад
склад -> объем
При этом возникают аномалии:
если в данный момент ни одна фирма не получает товар со склада, то в базу данных нельзя ввести данные о его объеме (т.к. не определен ключевой атрибут)
если объем склада изменяется, необходим просмотр всего отношения и изменение кортежей для всех фирм, связанных с данным складом.
Для устранения этих аномалий необходимо декомпозировать исходное отношение на два:
ХРАНЕНИЕ (ФИРМА, СКЛАД)
ОБЪЕМ_СКЛАДА (СКЛАД, ОБЪЕМ)
Определение третьей нормальной формы:
Отношение находится в 3НФ, если оно находится во 2НФ и каждый неключевой атрибут нетранзитивно зависит от первичного ключа.

4НФ
Четвертая нормальная форма касается отношений, в которых имеются повторяющиеся наборы данных. Декомпозиция, основанная на функциональных зависимостях, не приводит к исключению такой избыточности. В этом случае используют декомпозицию, основанную на многозначных зависимостях.
Многозначная зависимость является обобщением функциональной зависимости и рассматривает соответствия между множествами значений атрибутов.

В качестве примера рассмотрим отношение ПРЕПОДАВАТЕЛЬ (ИМЯ, КУРС, УЧЕБНОЕ_ПОСОБИЕ), хранящее сведения о курсах, читаемых преодавателем, и написанных им учебниках. Пусть профессор N читает курсы "Теория упругости" и "Теория колебаний" и имеет соответствующие учебные пособия, а профессор K читает курс "Теория удара" и является автором учебников "Теория удара" и "Теоретическая механика". Тогда наше отношение будет иметь вид:

----------------------------------------------------
| ИМЯ | КУРС | УЧЕБНОЕ_ПОСОБИЕ |
----------------------------------------------------
| N | Теория упругости | Теория упругости |
| N | Теория колебаний | Теория упругости |
| N | Теория упругости | Теория колебаний |
| N | Теория колебаний | Теория колебаний |
| K | Теория удара | Теория удара |
| K | Теория удара | Теоретическая механика |
----------------------------------------------------
добавляем:
----------------------------------------------------
| K | Теория упругости | Теория удара |
| K | Теория упругости | Теоретическая механика |
----------------------------------------------------
Это отношение имеет значительную избыточность и его использование приводит к возникновению аномалии обновления. Например, добавление информации о том, что профессор K будет также читать лекции по курсу "Теория упругости" приводит к необходимости добавить два кортежа (по одному для каждого написанного им учебника) вместо одного. Тем не менее, отношение ПРЕПОДАВАТЕЛЬ находится в NFBC (ключевой атрибут - ИМЯ).
Заметим, что указанные аномалии исчезают при замене отношения ПРЕПОДАВАТЕЛЬ его проекциями:

--------------------------- -------------------------------
| ИМЯ | КУРС | | ИМЯ | УЧЕБНОЕ_ПОСОБИЕ |
--------------------------- -------------------------------
| N | Теория упругости | | N |Теория упругости |
| N | Теория колебаний | | N |Теория колебаний |
| K | Теория удара | | K |Теоретическая механика |
| K | Теория упругости | | K |Теория удара |
--------------------------- -------------------------------
Аномалия обновления возникает в данном случае потому, что в отношении ПРЕПОДАВАТЕЛЬ имеются:
зависимость множества значений атрибута КУРС от множества значений атрибута ИМЯ
зависимость множества значений атрибута УЧЕБНОЕ_ПОСОБИЕ от множества значений атрибута ИМЯ.
Такие зависимости и называются многозначными и обозначаются как

ИМЯ ->> КУРС ИМЯ ->> УЧЕБНОЕ_ПОСОБИЕ
Нетрудно показать, что многозначные зависимости всегда образуют связанные пары, поэтому их часто обозначают
ИМЯ ->> КУРС | УЧЕБНОЕ_ПОСОБИЕ
Очевидно, что каждая функциональная зависимость является многозначной, но не каждая многозначная зависимость является функциональной.
Определение четвертой нормальной формы:

Отношение находится в 4NF если оно находится в BCNF и в нем отстутсвуют многозначные зависимости, не являющиеся функциональными зависимостями.

*
bas>А у тя получается, что IDX_NAME зависит от TAB_NAME и COL_NAME антрибутов, что противоречит 4НФ.

Можно ли сказать обратное: IDX_NAME определяет список полей (т.е. список пар (TAB_NAME, COL_NAME)) и, кроме того, определяет список таблиц (TAB_NAME). Т.е. (TAB_NAME, COL_NAME) многозначно зависит от IDX_NAME (и это правильно) и TAB_NAME многозначно зависит от IDX_NAME (это неправильно)?


*, да я что-то перемудрил... Но все ровно я прав на счет 4 НФ, Это видно из моего пред. постинга(просто в разных книгах немного по разному написану, но смысл особенно не оличается). В общем из пред. постинга получается, что IDX_NAME ->> TAB_NAME|COL_NAME, А ИМЕННО ЭТО ПРОТИВОРЕЧИТ 4НФ....

Так, что не 3НФ, а 4НФ....

З.Ы. И вообще автор не спрашивал, как правильно сделать(я думаю он уже и сам додумался), а спросил четко - "Какая нормальная форма здесь нарушена и в чем состоит нарушение?". Так и отвечайте на вопорс, плз.

Однако просьба меня не пинать, я сам не верю в то, что написал


Вот это ближе к делу... Т.к. первая НФ, гласит что все атрибуты должны быть скалярными. Вы не правы.

СТАТЬЯ
Для обсуждения первой нормальной формы необходимо дать два определения:
Простой атрибут - атрибут, значения которого атомарны (неделимы).

Сложный атрибут - получается соединением нескольких атомарных атрибутов, которые могут быть определены на одном или разных доменах. (его также называют вектор или агрегат данных).

Теперь можно дать



Определение первой нормальной формы:

отношение находится в 1NF если значения всех его атрибутов атомарны.

PS>
эх - зря вы на мой вариант забили... :)


Да не забили мы на твой вариант, просто вопрос у автора был другой: Какая нормальная форма здесь нарушена и в чем состоит нарушение?

Быть может осознаю, тогда и не буду фигню всякую писать.


Как осознаете, так заходите....

УРА, НАКОНЕЦ-ТО, А ТО Я УЖЕ ХОТЕЛ МАТОМ РУГАТЬСЯ....
Просто пример, кот. я привел для определения 4НФ в точности соответсвует пост. задачи.

З.Ы. Только не обижайся, я по доброму, сам иногда торможу