Введение в системы управления базами данных

         

в отношении найдется нетривиальная зависимость



Определение 9

. Отношение в отношении найдется нетривиальная зависимость 5НФ, если в отношении найдется нетривиальная зависимость соединения. Возвращаясь к примеру 3, становится понятно, что не зная ничего о том, какие потенциальные ключи имеются в отношении и как взаимосвязаны атрибуты, нельзя делать выводы о том, находится ли данное отношение в 5НФ (как, впрочем, и в других нормальных формах). По данному конкретному примеру можно только предположить, что отношение в примере 3 не находится в 5НФ. Предположим, что анализ предметной области позволил выявить следующие зависимости атрибутов в отношении в отношении найдется нетривиальная зависимость (i) Отношение в отношении найдется нетривиальная зависимость (ii) Имеется следующая зависимость (довольно странная, с практической точки зрения): если в отношении в отношении найдется нетривиальная зависимость Определение 9, в отношении найдется нетривиальная зависимость Определение 9, то отсюда следует, что в отношении в отношении найдется нетривиальная зависимость Определение 9. Утверждение. Докажем, что при наличии ограничений (i) и (ii), отношение находится в 4НФ, но не в 5НФ. Доказательство. Покажем, что отношение в отношении найдется нетривиальная зависимость Покажем, что отношение не находится в 5НФ. Для этого нужно привести пример нетривиальной зависимости соединения. Естественным кандидатом на нее является в отношении найдется нетривиальная зависимость Определение 9, в отношении найдется нетривиальная зависимость Определение 9 не совпадает с множеством всех атрибутов отношения в отношении найдется нетривиальная зависимость Но является ли такая декомпозиция именно зависимостью соединения? Для этого нужно показать, что декомпозиция на три проекции в отношении найдется нетривиальная зависимость Определение 9 и в отношении найдется нетривиальная зависимость Определение 9 (именно здесь содержится ключевая тонкость, обычно пропускаемая при анализе конкретного состояния отношения в отношении найдется нетривиальная зависимость Как и в предыдущих доказательствах, нужно доказать, что в отношении найдется нетривиальная зависимость Определение 9. Включение в отношении найдется нетривиальная зависимость Определение 9. Докажем включение в отношении найдется нетривиальная зависимость Пусть кортеж в отношении найдется нетривиальная зависимость Определение 9 содержится кортеж в отношении найдется нетривиальная зависимость Определение 9 содержится кортеж в отношении найдется нетривиальная зависимость Определение 9 содержится кортеж в отношении найдется нетривиальная зависимость Определение 9, в отношении найдется нетривиальная зависимость Определение 9 атрибутов в отношении найдется нетривиальная зависимость Определение 9 и в отношении найдется нетривиальная зависимость Определение 9 содержит кортежи в отношении найдется нетривиальная зависимость Определение 9 и в отношении найдется нетривиальная зависимость Определение 9 содержится также и кортеж в отношении найдется нетривиальная зависимость Утверждение доказано.

Содержание раздела