Информационное обеспечение систем управления

       

Аксиомы вывода многозначных зависимостей


В разд. 2.4.3.2 определены аксиомы вывода функциональных зависимостей.

Первые шесть аксиом вывода, приведенные ниже, являются аналогами одноименных аксиом для F-зави-симостей, однако только первые три из них содержат похожие утверждения. Аксиома М7 не имеет аналога в F-зависимостях [10]. Пусть г – отношение со схемой R и W, X, У, Z – подмножества R.

Ml. Рефлексивность.

Отношение г удовлетворяет X

X.

М2. Пополнение. Если r  удовлетворяет X

Y, то оно удовлетворяет XZ
У.

МЗ. Аддитивность. Если r удовлетворяет Х

Y   и X
Z, то оно Удовлетворяет X
YZ..

М4. Проективность. Если г удовлетворяет X

Y и X
Z, то оно удовлетворяет X
Y
Z  и  Х
У-Z.

М5. Транзитивность. Если r удовлетворяет Х

Y и У
Z, то г удовлетворяет X
Z-Y.

M6. Псевдотранзитивность. Если r удовлетворяет X

Y и YW
Z, то r удовлетворяет XW
Z-(YW).

M7. Дополнение. Если r удовлетворяет X

Y и Z=R-(XY), то r удовлетворяет X
Z.

Система аксиом вывода Ml – М7 для MV-зависи-мостей является полной [10].

Обратимся к следствиям, которые можно вывести из множества F- и MV-зависимостей. Для их комбинации существуют только две аксиомы.

Пусть r – отношение со схемой R; W, X, Y, Z – подмножества R.

С1. Копирование. Если r удовлетворяет X

Y, то r удовлетворяет X
Y.

С2. Объединение. Если r удовлетворяет X

Y и Z
W, где  W
Y и Y
Z=Ø, то г удовлетворяет X
W.

Системы аксиом F1 – F6, Ml – М7, С1 и С2 для множеств F- и MV-зависимостей являются полными [10].



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