9.6. Правила независимости от данных (правила 8, 9 и 11).
Кодд определяет три правила независимости данных от приложений, которые эти данные используют. Строгое соблюдение этих правил гарантирует, что пользователи и разработчики будут защищены от необходимости вносить тотальные изменения в приложения при каждой реорганизации базы данных на низком уровне.
Правило 8 – физическая независимость от данных
Прикладные программы и средства работы с терминалами должны оставаться логически незатронутыми при внесении любых изменений в способы хранения данных или методы доступа к ним.
Правило 9 – логическая независимость от данных
Прикладные программы и средства работы с терминалами должны оставаться логически незатронутыми при внесении в базовые таблицы любых не меняющих информацию изменений, которые теоретически не должны затрагивать прикладное программное обеспечение.
Правило 11 – независимость от распределения данных
Подъязык манипулирования данными в реляционной СУБД должен позволять прикладным программам и запросам оставаться логически неизменными, независимо от того, как хранятся данные — физически централизованно или в распределенном виде.
Независимость от распределения данных означает, что прикладная программа, осуществляющая доступ к СУБД на отдельном компьютере, должна без каких-либо модификаций продолжать работать и в том случае, когда данные в сети будут перенесены с одного компьютера на другой. Другими словами, для конечного пользователя должна быть создана иллюзия того, что данные централизованно хранятся на единственном компьютере, а ответственность за перемещение и поиск данных среди (возможно) нескольких мест их хранения должна возлагаться исключительно на систему. Обратите внимание, что здесь не сказано о том, что реляционная СУБД должна непременно поддерживать работу с распределенной базой данных. Здесь просто имеется в виду, что язык запросов должен оставаться неизменным и в том случае, когда возможность работы с распределенными данными реализуется в некоторой СУБД.
Контрольные вопросы:
Какие структурные группы правил, по которым СУБД можно считать реляционной Вы знаете?
Сформулируйте правило 0 – фундаментальное правило, одно из тех, которые определяют: является ли СУБД реляционной.
Сформулируйте правило 12 – правило запрета обходных путей, одно из тех, которые определяют: является ли СУБД реляционной.
Сформулируйте правило 1 – представление информации, одно из тех, которые определяют: является ли СУБД реляционной.
Сформулируйте правило 6 – обновление представления, одно из тех, которые определяют: является ли СУБД реляционной.
Сформулируйте правило 3 – систематическая обработка неопределенных значений (NULL), одно из тех, которые определяют: является ли СУБД реляционной.
Сформулируйте правило 10 – независимость ограничений целостности, одно из тех, которые определяют: является ли СУБД реляционной.
Сформулируйте правило 10 – независимость ограничений целостности, одно из тех, которые определяют: является ли СУБД реляционной.
Сформулируйте правило 2 – гарантированный доступ, одно из тех, которые определяют: является ли СУБД реляционной.
Сформулируйте правило 4 – динамический интерактивный каталог, построенный по правилам реляционной модели, одно из тех, которые определяют: является ли СУБД реляционной.
Сформулируйте правило 5 – исчерпывающий подъязык данных, одно из тех, которые определяют: является ли СУБД реляционной.
Сформулируйте правило 7 – высокоуровневые операции вставки, обновления и удаления, одно из тех, которые определяют: является ли СУБД реляционной.
Сформулируйте правило 8 – физическая независимость от данных, одно из тех, которые определяют: является ли СУБД реляционной.
Сформулируйте правило 9 – логическая независимость от данных, одно из тех, которые определяют: является ли СУБД реляционной.
Сформулируйте правило 11 – независимость от распределения данных, одно из тех, которые определяют: является ли СУБД реляционной.
1 Подъязыком называется язык, который не включает конструкции, предназначенные для всех вычислительных нужд. Реляционная алгебра и реляционное исчисление являются подъязыками базы данных.