Третья нормальная форма. Определение 4. Атрибут Ak транзитивно зависит от множества атрибутов , если существует множество, состоящее из атрибутов
Определение 4. Атрибут Ak транзитивно зависит от множества атрибутов , если существует множество, состоящее из атрибутов , каждый из которых функционально зависит от , такое, что Ak функционально зависит от .
Определение 5. (3NF) Файл с первичным ключом находится в третьей нормальной форме, если он находится в первой нормальной форме, и для любого функциональная зависимость атрибута Ak от атрибутов не является транзитивной.
Произвольный ключ отношения можно выделить как первичный. Если с помощью выделения любого ключа как первичного мы получаем отношение, находящееся в третьей нормальной форме, то заданное отношение называется находящимся в нормальной форме Бойса-Кодда. В частности, отношение будет находиться в нормальной форме Бойса-Кодда, если оно допускает единственный ключ. 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | 13 | 14 | 15 | 16 | 17 | 18 | 19 | 20 | 21 | 22 | 23 | 24 | 25 | 26 | 27 | 28 | 29 | 30 | 31 | 32 | 33 | 34 | 35 | 36 | 37 | 38 | 39 | 40 | 41 | 42 | 43 | 44 | Поиск по сайту:
|