Атомарное отношение - отношение, которое невозможно декомпозировать на независимые проекции:
В отношении СОТРУДНИКИ_ПРОЕКТЫ_ЗАДАНИЯ существует функциональная зависимость НОМ_СОТР--->КВАЛ_СОТР:
В часто обновляемых базах данных обеспечивают третью нормальную форму отношений:
Для нормальной формы Бойса-Кодда характерна нетривиальная и минимальная функциональная зависимость, которая имеет в качестве детерминанта некоторый возможный ключ данного отношения:
Логическое проектирование баз данных направлено на обеспечение эффективности выполнения запросов к базе данных:
Основное назначение нормальных форм - приведение структуры базы данных к виду, обеспечивающему минимальную избыточность:
Отношение в доменно-ключевой нормальной форме имеет аномалии модификации:
Отношение находится в 3NF тогда и только тогда, когда оно находится в 2NF, и присутствуют транзитивные зависимости неключевых атрибутов от ключевых:
Переменная отношения находится в 2NF тогда и только тогда, когда она находится в 1NF, и каждый ключевой атрибут минимально функционально зависит от неключевого атрибута:
Переменная отношения находится в 3NF в том и только в том случае, когда она находится в 2NF, и каждый ключевой атрибут транзитивно функционально зависит от первичного ключа:
Переменная отношения находится в BCNF если все атрибуты заголовка отношения входят в состав единственно возможного ключа:
Переменная отношения р находится в 4NF в том и только в том случае, когда она находится в 3NF, и все функциональные зависимости р - многозначные зависимости:
Проекции ТАБНОМ_СОТР_ЗАДАН и НОМ_ПРОЕКТ_ЗАДАН - независимые:
Таблица находится в 4NF, если она находится в BCNF, и не содержит нетривиальных многозначных зависимостей:
Таблица находится в 5NF, если она находится в 4NF, и любая многозначная зависимость соединения в ней является нетривиальной:
Таблица находится в BCNF, если она находится в 3NF, и при этом присутствуют функциональные зависимости атрибутов первичного ключа от неключевых атрибутов:
Таблица находится в третьей нормальной форме, если она находится во второй нормальной форме, и при этом любой ее неключевой атрибут зависит только от первичного ключа: