Элементарный ключ нормальной формы - Elementary key normal form

Элементарный ключ нормальной формы (EKNF) является тонким улучшением третья нормальная форма, поэтому таблицы EKNF по определению входят в 3NF. Это случается, когда уникальных составной ключ и они перекрываются. Такие случаи могут привести к появлению избыточной информации в перекрывающихся столбцах.

Таблица находится в EKNF тогда и только тогда, когда все ее элементарные функциональные зависимости начинаются с целых ключей или заканчиваются элементарными ключевыми атрибутами. Для каждой полной нетривиальной функциональной зависимости вида X → Y либо X является ключом, либо Y является (частью) элементарным ключом.[1]

В этом определении элементарная функциональная зависимость является полной функциональной зависимостью (нетривиальная функциональная зависимость X → A такая, что не существует функциональной зависимости X '→ A, которая также выполняется, когда X' является строгим подмножеством X), и элементарный ключ - это ключ X, для которого существует атрибут A такой, что X → A - элементарная функциональная зависимость.

EKNF был определен Карло Дзаниоло в 1982 году.[1]

Пример

Пример таблицы, высшая нормальная форма которой - EKNF, см. Нормальная форма Бойса – Кодда # Достижимость BCNF.

Примечания

  1. ^ а б Заниоло, Карло (сентябрь 1982 г.). «Новая нормальная форма для проектирования схем реляционных баз данных» (PDF). Транзакции ACM в системах баз данных. 7 (3).[страница нужна ]

Рекомендации

  • Halpin, T. A .; Морган, Энтони Дж .; Морган, Тони. Информационное моделирование и реляционные базы данных.
  • Дэйт, К. Дж. «Элементарный ключ нормальной формы (EKNF)». Проектирование баз данных и реляционная теория.
  • Целко, Джо. SQL для умных людей: расширенное программирование SQL (3-е изд.).