WikiDer > Элементарный ключ нормальной формы - Википедия
 | Эта статья поднимает множество проблем. Пожалуйста помоги Улучши это или обсудите эти вопросы на страница обсуждения. (Узнайте, как и когда удалить эти сообщения-шаблоны) (Узнайте, как и когда удалить этот шаблон сообщения)
|
Элементарный ключ нормальной формы (EKNF) является тонким улучшением третья нормальная форма, поэтому таблицы EKNF по определению входят в 3NF. Это случается, когда уникальных составной ключ и они перекрываются. Такие случаи могут привести к появлению избыточной информации в перекрывающихся столбцах.
Таблица находится в EKNF тогда и только тогда, когда все ее элементарные функциональные зависимости начинаются с целых ключей или заканчиваются элементарными ключевыми атрибутами. Для каждой полной нетривиальной функциональной зависимости вида X → Y либо X является ключом, либо Y является (частью) элементарным ключом.[1]
В этом определении элементарная функциональная зависимость является полной функциональной зависимостью (нетривиальная функциональная зависимость X → A такая, что не существует функциональной зависимости X '→ A, которая также выполняется, когда X' является строгим подмножеством X), и элементарный ключ - это ключ X, для которого существует атрибут A такой, что X → A - элементарная функциональная зависимость.
EKNF был определен Карло Дзаниоло в 1982 году.[1]
Пример
Пример таблицы, высшая нормальная форма которой - EKNF, см. Нормальная форма Бойса – Кодда # Достижимость BCNF.
Примечания
- ^ а б Заниоло, Карло (сентябрь 1982 г.). «Новая нормальная форма для проектирования схем реляционных баз данных» (PDF). Транзакции ACM в системах баз данных. 7 (3).[страница нужна]
Рекомендации
- Halpin, T. A .; Морган, Энтони Дж .; Морган, Тони. Информационное моделирование и реляционные базы данных.
- Дэйт, К. Дж. «Элементарный ключ нормальной формы (EKNF)». Проектирование баз данных и реляционная теория.
- Целко, Джо. SQL для умных людей: расширенное программирование SQL (3-е изд.).