F-зависимость

Cтраница 1

F-зависимости вида X - Y, где X содержит Y. Это наблюдение следует из вида аксиом вывода. Аксиомы Fl - F6 могут порождать лишь тривиальные F-зависимости из тривиальных; Ml - М7 и С1 не могут порождать никаких F-зависимостей; аксиома С2 в случае тривиальных F-зависимостей неприложима. [1]

Все F-зависимости, заключенные в одной схеме отношения R из R, должны иметь эквивалентные левые части. Если Ki и / С2 - ключи R, то верно / d - R и Кг - R, следовательно, Кг - Кг и Кг - - Ki - Таким образом, каждая схема может заключать в себе F-зависимости не более чем из одного класса эквивалентности EG. [2]

Все F-зависимости, заключенные в одной схеме отношения R из R, должны иметь эквивалентные левые части. Если / d и / С2 - ключи R, то верно К - R и / С2 - - R, следовательно, Кг - - Кг и Кг - Ki - Таким образом, каждая схема может заключать в себе F-зависимости не более чем из одного класса эквивалентности EG. [3]

Множество F-зависимостей с точностью до переименований то же, что и в примере 6.12. Множество F минимально, но не редуцировано. [4]

Для любой F-зависимости W - Z в F логический счетчик дает значение истина ( при COUNT [ W - Z ] 0) не более чем один раз, поскольку, после того как COUNT [ W - - Z ] становится равным 0, все атрибуты оказываются добавленными к NEWDEP и удалены из UPDATE. Таким образом, оказывается, что W - Z не остается ни в одном списке. Вычисление включения ADD занимает время, пропорциональное Z, если NEWDEP является бинарным вектором. [5]

Для любой F-зависимости W - - Z в F логический счетчик дает значение истина ( при COUNT [ W - Z ] 0) не более чем один раз, поскольку, после того как COUNT [ W - Z ] становится равным 0, все атрибуты оказываются добавленными к NEWDEP и удалены из UPDATE. Таким образом, оказывается, что W - - Z не остается ни в одном списке. Вычисление включения ADD занимает время, пропорциональное Z, если NEWDEP является бинарным вектором. [6]

Для каждой F-зависимости Х - - А из С существует связанное с ним F-правило. В зависимости от выбранных строк F-правило для X - - А представляет собой класс преобразований, действующих на табло. [7]

Далее группи-руем F-зависимости с эквивалентными левыми частями в одну CF-зависимость. При этом возникает вопрос: является ли редуцированное минимальное кольцевое множество одновременно редуцированным минимальным множеством F-зависимостей. [8]

Для каждой F-зависимости Х - А из С существует связанное с ним F-правило. В зависимости от выбранных строк F-правило для X - - А представляет собой класс преобразований, действующих на табло. [9]

Для каждой F-зависимости X - Y в F -, используя теорему 4.1, построим отношение rxY ( R), удовлетворяющее F, но нарушающее X - Y. [10]

Минимальное множество F-зависимостей не может содержать избыточных зависимостей. [11]

Это множество F-зависимостей рассмотрено в примере 5.21. Единственными F-зависимостями из одного класса эквивалентности являются BI Bz - А и D Dz - - 5i ва. [12]

Отношение назначение. [13]

Однако существование F-зависимостей не является необходимым условием такой декомпозиции. [14]

Минимальное множество F-зависимостей не может содержать избыточных зависимостей. [15]

Страницы: 1 2 3 4