Лизинговые операции

Уровни  изоляции призваны обеспечить в СУБД правила  параллелизма и последовательности работы с данными. Когда устанавливается  уровень изоляции, множество пользователей, работающих с одними и теми же значениями данных в столбцах и строках таблицы, устанавливают блокировки или следуют основанным на установленном уровне изоляции правилам.

По  умолчанию, устанавливается изоляция Read Committed, и эта установка действует в рамках сеанса.  

Основной принцип  состоит в том, что пишущая  транзакция всегда блокирует читающие транзакции, если они имеют уровни изоляции выше её, исключая Read Uncommited.

Когда установлен уровень Read Uncommited, пишущая транзакция не блокирует читающие, а читающие не блокируют запись. Таким образом, Вы имеете возможность составить запрос таким образом, что получите грязные данные, которые ещё не сохранены в базе данных, и этим будет нарушен принцип последовательности. 

Когда установлен Read Committed, прочитать можно только сохранённые данные. Но как только читающая транзакция завершит процесс чтения данных, даже если сама транзакция к этому моменту ещё не завершена, её блокировка уже не будет препятствовать изменениям в этих данных. 

При использовании  Repeatable Read, когда в одной транзакции читаются порции данных, одни и те же данные будут считаться каждый раз, когда происходит чтение в этой транзакции. Поэтому, даже в моменты, когда чтение данных не выполняется, другие транзакции не смогут изменять данные, но они смогут осуществлять вставки новых данных в таблицу или в диапазоны данных, которые в этот момент не блокированы. 

Уровень Serializable идёт на шаг дальше по отношению Repeatable Read и защищает все другие блоки данных от вставок. Это называется предотвращением фантомных чтений.

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

2NF. Отношение R находится во второй нормальной форме (2NF) в том и только в том случае, когда оно находится в 1NF, и каждый неключевой атрибут полностью зависит от каждого ключа R. Каждый неключевой столбец в таблице должен уникально идентифицироваться по первичному ключу 
 

3NF. Кроме удовлетворения требованиям второй нормальной формы, каждый неключевой столбец таблицы должен быть независимым от других неключевых столбцов, чтобы привести отношение к 3НФ, необходимо устранить функциональные зависимости между неключевыми атрибутами отношения. Другими словами, факты, хранимые в таблице, должны зависеть только от ключа

Отношение R находится в третьей  нормальной форме (3NF) в том и только в том случае, если находится в 2NF и  каждый неключевой атрибут  нетранзитивно зависит  от первичного ключа.  
 

Бойса-Кодда. Вариант третьей нормальной формы, в котором требуется, чтобы каждый столбец, от которого зависит другой столбец, сам должен быть уникальным ключом.  

Четвёртая нормальная форма  запрещает существование  многозначных зависимостей между столбцами. Если столбец вместо того, чтобы уникально идентифицировать другой столбец, ограничивает его значения некоторым предопределённым множеством значений – это означает, что между ними существует многозначная зависимость. Отношение R находится в четвертой нормальной форме (4NF) в том и только в том случае, если в случае существования многозначной зависимости A -> -> B все остальные атрибуты R функционально зависят от A.  

Зависимость соединения

Отношение R (X, Y, ..., Z) удовлетворяет  зависимости соединения * (X, Y, ..., Z) в том и только в том случае, когда R восстанавливается без потерь путем соединения своих проекций на X, Y, ..., Z.

Пятая нормальная форма

Отношение R находится в пятой  нормальной форме (нормальной форме проекции-соединения - PJ/NF) в том и только в том случае, когда любая зависимость соединения в R следует из существования некоторого возможного ключа в R.  

Пятая нормальная форма  предусматривает, что  если таблица имеет  три или более  альтернативных (возможных) ключей и можно  провести их декомпозицию без потери данных, эти ключи должны быть разбиты на отдельные таблицы.