Cтраница 3
Нахождение минимального кольцевого покрытия для множества F-зависимостей G начинаем с нахождения минимального покрытия F для G. Далее группи-руем F-зависимости с эквивалентными левыми частями в одну CF-зависимость. При этом возникает вопрос: является ли редуцированное минимальное кольцевое множество одновременно редуцированным минимальным множеством F-зависимостей. [31]
Повторяющееся применение правила заполнения для множества F F-зависимостей аналогично прогонке на табло. [32]
Лемма 5.9. Если F - оптимальное множество F-зависимостей, то оно редуцировано и минимально. [33]
Покажите, что для двух эквивалентных неизбыточных множеств F-зависимостей F и G может существовать некоторое X, для которого Ер ( X) и EQ ( X) содержат различное число F-зависимостей. [34]
Теорема 6.1. Алгоритм SYNTHESIZE создает для множества F-зависимостей F полную схему базы данных за время О ( п2), где п - длина входа. [35]
Пусть задана схема отношения R и множество F-зависимостей F над R. Спрашивается, какие MV-зависимости справедливы в отношении г ( R), удовлетворяющем F. Существуют ли в л MV-зависимости, не связанные ни с какими F-зависимостями. [36]
Теорема 6.1. Алгоритм SYNTHESIZE создает для множества F-зависимостей F полную схему базы данных за время О ( п), где п - длина входа. [37]
Пусть задана схема отношения R и множество F-зависимостей F над R. Существуют ли в л MV-зависимости, не связанные ни с какими F-зависимостями. [38]
Из примера 5.3 видно, что множество F-зависимостей G может иметь более одного неизбыточного покрытия. [39]
В этой главе кратко рассматриваются методы представления множеств F-зависимостей. Например, любая F-зависимость, выводимая из множества F А - - В, В - - С, А - - С, АВ - - С, A - ВС, также выводима из множества G А - В, 5 - - С, поскольку все F-зависимости из F могут быть выведены из F-зависимостей, принадлежащих G. [40]
Функция EQUIV алгоритма 5.2 проверяет эквивалентность двух множеств F-зависимостей. [41]
В этой главе кратко рассматриваются методы представления множеств F-зависимостей. Например, любая F-зависимость, выводимая из множества F А - - В, В - С, А - С, АВ - С, А - БС, также выводима из множества G Л - - В, В - - С, поскольку все F-зависимости из f могут быть выведены из F-зависимостей, принадлежащих G. [42]
Функция EQUIV алгоритма 5.2 проверяет эквивалентность двух множеств F-зависимостей. [43]
Покажите, что удаление из левой части неизбыточного множества F-зависимостей посторонних атрибутов может привести к избыточному множеству F-зависимостей. [44]