Элементарная ключевая нормальная форма
 | В этой статье есть несколько проблем. Пожалуйста, помогите улучшить его или обсудите эти проблемы на странице обсуждения . ( Узнайте, как и когда удалять эти шаблонные сообщения )
|
Нормальная форма элементарного ключа ( EKNF ) представляет собой небольшое усовершенствование третьей нормальной формы , поэтому таблицы EKNF по определению находятся в 3NF. Это происходит, когда существует более одного уникального составного ключа , и они перекрываются. В таких случаях может возникнуть избыточная информация в перекрывающихся столбцах.
История
[ редактировать ]EKNF был определен Карло Заньоло в 1982 году. [1]
Определение
[ редактировать ]Таблица находится в EKNF тогда и только тогда, когда все ее элементарные функциональные зависимости начинаются с целых ключей или заканчиваются атрибутами элементарных ключей. Для каждой полной нетривиальной функциональной зависимости вида X→Y либо X является ключом, либо Y является (частью) элементарным ключом. [1]
В этом определении элементарная функциональная зависимость — это полная функциональная зависимость (нетривиальная функциональная зависимость X → A, такая, что не существует функциональной зависимости X' → A, которая также выполняется, когда X' является строгим подмножеством X), и элементарный ключ — это ключ X, для которого существует атрибут A такой, что X → A является элементарной функциональной зависимостью.
Пример
[ редактировать ]![[икона]](http://upload.wikimedia.org/wikipedia/commons/thumb/1/1c/Wiki_letter_w_cropped.svg/20px-Wiki_letter_w_cropped.svg.png){kind=small} | Этот раздел нуждается в расширении . Вы можете помочь, добавив к нему . ( март 2024 г. ) |
Пример таблицы, высшей нормальной формой которой является EKNF, см. в разделе Нормальная форма Бойса-Кодда # Достижимость BCNF .
Примечания
[ редактировать ]- ^ Jump up to: а б Заньоло, Карло (сентябрь 1982 г.). «Новая нормальная форма для проектирования схем реляционных баз данных» (PDF) . Транзакции ACM в системах баз данных . 7 (3): 489–499. дои : 10.1145/319732.319749 . S2CID 15790238 . [ нужна страница ]
Ссылки
[ редактировать ]- Халпин, штат Техас; Морган, Энтони Дж.; Морган, Тони. Информационное моделирование и реляционные базы данных .
- Дата, CJ «Элементарная ключевая нормальная форма (EKNF)». Проектирование баз данных и реляционная теория .
- Селко, Джо. SQL для умников: расширенное программирование SQL (3-е изд.).