Обычная форма с элементарным ключом ( EKNF ) - это небольшое усовершенствование третьей нормальной формы , поэтому таблицы EKNF по определению относятся к 3NF. Это происходит, когда существует более одного уникального составного ключа, и они перекрываются. Такие случаи могут привести к появлению избыточной информации в перекрывающихся столбцах.
Таблица находится в EKNF тогда и только тогда, когда все ее элементарные функциональные зависимости начинаются с целых ключей или заканчиваются элементарными ключевыми атрибутами. Для каждой полной нетривиальной функциональной зависимости вида X → Y либо X является ключом, либо Y является (частью) элементарным ключом. [1]
В этом определении элементарная функциональная зависимость - это полная функциональная зависимость (нетривиальная функциональная зависимость X → A такая, что не существует функциональной зависимости X '→ A, которая также выполняется с X', являющимся строгим подмножеством X), и элементарный ключ - это ключ X, для которого существует такой атрибут A, что X → A является элементарной функциональной зависимостью.
EKNF был определен Карло Дзаниоло в 1982 г. [1]
Пример
Для примера таблицы, высшая нормальная форма которой - EKNF, см. Нормальная форма Бойса – Кодда # Достижимость BCNF .
Заметки
- ^ a b Заниоло, Карло (сентябрь 1982 г.). «Новая нормальная форма для проектирования схем реляционных баз данных» (PDF) . ACM-транзакции в системах баз данных . 7 (3): 489–499. DOI : 10.1145 / 319732.319749 . S2CID 15790238 .[ требуется страница ]
Рекомендации
- Halpin, TA; Морган, Энтони Дж .; Морган, Тони. Информационное моделирование и реляционные базы данных .
- Дата, CJ "Обычная форма элементарного ключа (EKNF)". Дизайн баз данных и реляционная теория .
- Целко, Джо. SQL for Smarties: Advanced SQL Programming (3-е изд.).