Классика баз данных - статьи

       

Выводимость, избыточность и согласованность


Отношение R является выводимым из набора отношений S, если существует последовательность перестановок, проекций, естественных соединений и связываний, которая производит R из членов набора S. Эта последовательность операций производит корректное значение R практически в любой момент времени (для хранимых отношений необходимо исключить те интервалы времени, в которые значения R и S изменяются). Заметим, что поскольку в списке операций указано естественное соединение, не возникает вопроса, какое соединение нужно использовать.

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

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

Вообще говоря, слабые избыточности свойственны логическим потребностям сообщества пользователей. Их не может устранить администатор системы или базы данных. Если они вообще проявляются, то проявляются и в наборе именованных отношений, и в наборе хранимых отношений. С другой стороны, строгие избыточности в наборе хранимых отношений можно устранить, что способствует достижению приемлемой производительности.

В качестве примера слабой избыточности еще раз обратимся к трем бинарным отношениям R, S, T, смысл которых состоит в следующем:



Содержание  Назад  Вперед