Базы данных

Методы нормализации

Определения

Функциональная зависимость набора атрибутов B отношения R от набора атрибутов A того же отношения

R.A R.B или A B

означает такое отношение проекций R[A] и R[B], при котором любому элементу R[A] соответствует только один элемент R[B], входящий с ним в какой-либо кортеж отношения.

Функциональная зависимость A B называется полной, если B функционально зависит от A и не зависит от любого подмножества A:

A1 A нет зависимости A1 B.

В противном случае функциональная зависимость называется не полной

A – детерминант отношения

Определения

Суперключ – атрибут или множество атрибутов, однозначно определяющие кортеж данного отношения.

Потенциальный ключ – суперключ, который не содержит подмножества, также являющегося суперключем данного отношения. Т.о. потенциальный ключ обладает свойствами уникальности и неприводимости.

Первичный ключ – это потенциальный ключ, который выбран для уникальной идентификации кортежей внутри отношения

Внешний ключ – это атрибут или множество атрибутов одного отношения, которые принимают значения потенциального ключа другого отношения (может быть и того же)

Определения

Неключевой атрибут – атрибут, не входящий ни в один потенциальный ключ

Взаимно-независимые атрибуты – не зависят функционально один от другого

Определения

Нормализация отношений – это формальный аппарат декомпозиции отношений в соответствии с определенными требованиями к качеству отношений

Критерии качества:

Отсутствие избыточности данных – повторение одних и тех же данных следует минимизировать

Отсутствие потенциальной противоречивости при обновлении данных – следует минимизировать количество операций обновления одних и тех же данных

Отсутствие повторяющихся операций добавления данных

Отсутствие потенциальной противоречивости при удалении данных

«Универсальная таблица»

Определения

1НФ