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

       

s поставляет деталь p, по


R(s, p) – поставщик s поставляет деталь p, по крайней мере, в один проект.

S(p, j) – деталь p поставляется в проект j, по крайней мере, одним поставщиком.

T(j, s) – в проект j поставщиком s поставляется, по крайней мере, один вид деталей.
Все три отношения являются сложными отношениями с возможностью периодического появления точек неоднозначности при потенциальном соединении любой пары. Следовательно, ни одно из них не выводимо из оставшихся двух отношений. Однако между ними существуют ограничения, поскольку каждое из них является проекцией некоторого циклического соединения всех трех отношений. Таким образом, этот набор отношений обладает слабой избыточностью.
Во всех случаях, когда некоторый набор отношений является избыточным в каком-либо смысле, мы будем связывать с этим набором некоторый набор утверждений, определяющих все избыточности, которые должны поддерживаться между членами этого набора независимо от времени. Если в информационной системе отсутствует детальная семантическая информация (а скорее всего, так и будет), она не сможет вывести избыточности, применимые к набору именованных отношений. Система могла бы через определенные интервалы времени пытаться определять наличие избыточностей на основе существующих данных, но такие попытки подвержены ошибкам.
При наличии заданного набора отношений C и связанного с ним набором ограничивающих утверждений мы будем называть C согласованным или несогласованным в зависимости от того, соответствует ли C этим утверждениям. Например, при наличии хранимых отношений R, S, T и ограничивающего утверждения
"Π12(T) является композицией Π12(R) с Π12(S)"
мы можем время от времени проверять, что значения, сохраняемые для R, S, T, удовлетворяют этому ограничению. Алгоритм выполнения такой проверки обследовал бы первые два столбца каждого из этих отношений (каким бы образом они не представлялись в системе) и проверял бы, выполняются ли следующие требования:

  1. Π1(T) = Π1(R);

  2. Π2(T) = Π2(S);

  3. для каждой пары элементов (a, c) в отношении Π12(T) имеется такой элемент b, что (a, b) содержится в Π12(R) и (b, c) содержится в Π12(S).

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

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