Множество - функциональная зависимость
Cтраница 1
Множество функциональных зависимостей, применимых к отношению г ( R), конечно, так как существует только конечное число подмножеств множества R. Таким образом, всегда можно найти все F-зависимости, которым г удовлетворяет, перебрав все возможности с помощью алгоритма SATISFIES. Однако этот подход требует большого количества времени. Если известны некоторые F-зависимости из F, то часто можно вывести остальные. Множество F-зависимостей F влечет за собой F-зависимость X - Y ( обозначение: F X - Y) х), если каждое отношение, удовлетворяющее всем зависимостям в F, удовлетворяет также зависимости X - - Y. Аксиома вывода - это правило, устанавливающее, что если отношение удовлетворяет определенным F-зависимостям, то оно должно удовлетворять и некоторым другим F-зависимостям. [1]
Множество функциональных зависимостей, применимых к отношению r ( R), конечно, так как существует только конечное число подмножеств множества JR. Таким образом, всегда можно найти все F-зависимости, которым г удовлетворяет, перебрав все возможности с помощью алгоритма SATISFIES. Однако этот подход требует большого количества времени. Если известны некоторые F-зависимости из F, то часто можно вывести остальные. Множество F-зависимостей F влечет за собой F-зависимость X - - Y ( обозначение: F ( X - - Y) 1), если каждое отношение, удовлетворяющее всем зависимостям в F, удовлетворяет также зависимости X - Y. Аксиома вывода - это правило, устанавливающее, что если отношение удовлетворяет определенным F-зависимостям, то оно должно удовлетворять и некоторым другим F-зависимостям. [2]
Деление множества функциональных зависимостей на группы позволяет развить наглядный метод описания ФХС, основанный на их топологическом представлении. При топологическом описании химико-технологического процесса каждому физико-химическому эффекту ставится в соответствие свой элемент в структуре ФХС. Элемент ФХС характеризуется двумя признаками: диаграммным символом и определяющим функциональным соотношением между теми е -, / -, р - и g - переменными, которые относятся к данному эффекту. [3]
 |
Пример многозначной не имеют избыточных ( посторонних. [4] |
Замыканием F множества функциональных зависимостей F называется множество ФЗ, выводимых в F. F может быть получено с помощью правил Ф31, Ф32 и ФЗЗ. [5]
Лемма 5.4. Каждое множество функциональных зависимостей F покрывается некоторым множеством зависимостей G, в которых ни одна из правых частей не имеет более одного атрибута. [6]
Пусть, вообще, F есть множество функциональных зависимостей для схемы отношения R и X - Y - некоторая функциональная зависимость. Говорят, что зависимость X - Y логически следует из F, если для каждого отношения г со схемой R, удовлетворяющего зависимостям из F, удовлетворяется также X - Y. Выше мы видели, что если F содержит зависимости А - - В и В - - С, то зависимость А - - С логически следует из F. Пусть F обозначает замыкание F - множество функциональных зависимостей, которые логически следуют из F. Если F F, мы говорим, что F - полное семейство зависимостей. [7]
Алгоритм 5.1. Вычисление замыкания множества атрибутов относительно некоторого множества функциональных зависимостей. [8]
Оказывается, можно достаточно легко определить, обладает ли декомпозиция свойством соединения без потерь относительно некоторого множества функциональных зависимостей. [9]
Следующие два примера демонстрируют, что свойства LJ и J2 действительно независимы для Р, описываемых множеством функциональных зависимостей. [10]
В первом случае задается множество атрибутов и все функциональные зависимости между ними; во втором - множество отношений и множество функциональных зависимостей между их атрибутами. Казалось бы, что два указанных способа существенно различаются, однако, если иметь в виду использование функциональных зависимостей, это не так. Все наши дальнейшие рассуждения основываются на предположении уникальности функциональных зависимостей, заданных на уникально идентифицируемых атрибутах. [11]
Теорема 9.7. Условия независимости компонент, соединения и сохранения информации эквивалентны в случае, когда Р SAT ( F), где F - множество функциональных зависимостей. [12]
Другой метод построения схемы отношений [15], использующий алгоритм решения проблемы членства, требует для выполнения O ( f s) шагов, где F - длина записи множества функциональных зависимостей. [13]
Далее нужно найти множество F функциональных зависимостей, которые следуют из С, или некоторое его покрытие. К сожалению, для этого неизвестно никакого способа, за исключением прямолинейного перебора и проверки. [14]
При этих допущениях способы задания схемы действительно отличаются один от другого не радикально. В первом случае задается множество F функциональных зависимостей и неявно схема отношения U; необходимо решить задачу корректной декомпозиции U. Rn и множество функциональных зависимостей F, а задача состоит в том, чтобы определить, эффективна ли декомпозиция. [15]
Страницы: 1 2