Физическая независимость данных

Логическая независимость данных.

Вторая нормальная форма. Определение. Пример.

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

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

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

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

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

Дата добавления: 2014-12-25