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




Согласованность


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

Для данного набора C изменяемых во времени отношений, ассоциированного с ним множества Z ограничительных утверждений и значения V набора C в какой-либо момент времени мы будем называть состояние (C, Z, V) согласованным

или несогласованным в зависимости от того, удовлетворяет ли V набору условий Z или нет. Например, для набора хранимых отношений R,S,T вместе с ограничительным утверждением "π12(T) является композицией π12 (R) и π12

(S)" мы можем периодически проверять, что значения, хранящиеся в R,S,T, удовлетворяют этому условию. Алгоритм осуществления такой проверки должен просматривать первые два столбца каждого из отношений 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).

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

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


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