F-зависимость - Большая Энциклопедия Нефти и Газа, статья, страница 1
Настоящий менеджер - это такой, который если уж послал тебя... к чертовой бабушке, то обязательно проследит, чтобы ты добрался по назначению. Законы Мерфи (еще...)

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 Отношение назначение. [13]

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

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



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