В этой статье есть несколько проблем. Помогите улучшить ее или обсудите эти проблемы на странице обсуждения . ( Узнайте, как и когда удалять эти сообщения )
|
Нормальная форма элементарного ключа ( EKNF ) является тонким улучшением третьей нормальной формы , поэтому таблицы EKNF находятся в 3NF по определению. Это происходит, когда имеется более одного уникального составного ключа и они перекрываются. Такие случаи могут привести к избыточной информации в перекрывающихся столбцах.
EKNF был определен Карло Дзаньоло в 1982 году. [1]
Таблица находится в EKNF тогда и только тогда, когда все ее элементарные функциональные зависимости начинаются с целых ключей или заканчиваются на атрибутах элементарных ключей. Для каждой полной нетривиальной функциональной зависимости вида X→Y либо X является ключом, либо Y является (частью) элементарного ключа. [1]
В этом определении элементарная функциональная зависимость — это полная функциональная зависимость (нетривиальная функциональная зависимость X → A, такая, что не существует функциональной зависимости X' → A, которая также имеет место, когда X' является строгим подмножеством X), а элементарный ключ — это ключ X, для которого существует атрибут A, такой что X → A является элементарной функциональной зависимостью.
![]() | This section needs expansion. You can help by adding to it. (March 2024) |
Пример таблицы, наивысшей нормальной формой которой является EKNF, см. в разделе Нормальная форма Бойса–Кодда#Достижимость BCNF .