Описание тега functional-dependencies

Описание тега Вопросы с тегом
Функциональная зависимость - это ограничение между двумя наборами атрибутов в отношении в реляционной алгебре, базах данных и системах типов.
1 ответ

База данных посторонних атрибутов и декомпозиция

Я смущен понятием посторонних атрибутов и правильного разложения на 3NF. Например, у меня есть следующее отношение: r(A,B,C,D,E,F) F = FD's F = {A-> BCD, BC-> DE, B->D, D->A} Я хочу вычислить каноническое покрытие, чтобы разложить его на…
26 июл '11 в 02:38
1 ответ

Минимальное покрытие набора функциональных зависимостей

Я проходил через условия минимального покрытия набора функциональных зависимостей. Здесь упоминается, что правая сторона может иметь только один атрибут. Так {A1A2 → B1B2} это невозможно. Это должно быть разделено как {A1A2 → B1, A1A2 → B2}, Но в СУ…
15 дек '12 в 15:05
2 ответа

Свойство функциональных зависимостей

Если у меня есть отношение R со схемой S={A,B,C}, и я знаю, что A->B. Означает ли это, что A,C->B верно? Я знаю, что аксиома увеличения говорит мне, что A,C->B,C, но если два кортежа, t1 и t2, согласуются с A и C, они конкретно соглашаются с A, что …
18 июл '16 в 17:04
1 ответ

Правила функциональной зависимости

Даны следующие функциональные зависимости: ABD -> C и C -> B тогда этого достаточно, чтобы сказать, что AD -> C? Обоснование состоит в том, что вы получите ABD -> CB, а затем B можно удалить с обеих сторон.
13 ноя '13 в 14:54
1 ответ

Нужна помощь в выяснении функциональных зависимостей

У меня есть проблема, когда меня просят получить функциональные зависимости, но я не совсем уверен, правильно ли я их понял, эта тема кажется немного запутанной, мне было интересно, можете ли вы, ребята, дважды проверить меня или исправить меня, есл…
03 апр '13 в 13:03
1 ответ

Проверка FD на множестве отношений - Нужно проверить решение

У меня проблемы с доказательством функциональных зависимостей с помощью Аксиом Армстронга. С этим я борюсь. Пусть R(A,B,C,D,E) - схема отношений и F = {A→CD, C→E, B→D} 1. Докажите: F: BC-> DE Что я имею: 1 Дано B->D 1. Дополнение C на 1, BC-> DC 2. …
29 ноя '12 в 19:01
2 ответа

Достижение BCNF путем разложения

Вот две функциональные зависимости, которые справедливы для R. R (A, B, C, D, E) {ABCD-> E, E-> A} Ответ моего друга заключается в том, что он может быть разложен на BCNF. R1 (B, C, D, E) {BCD-> E} R2 (A, E) {E-> A} Однако я думаю, что это не может …
12 июн '17 в 14:11
1 ответ

Потеря ИЛИ Без потерь Разложение

Рассмотрим отношение R(A,B,C,D,E) с множеством F=(A->C,B->C,C->D,DC->C,CE->A). Предположим соотношение был разложен отношениями R1(A,D),R2(A,B),R3(B,E),R4(C,D,E),R5(A,E) Это разложение с потерями или без потерь? Я попытался решить этот вопрос, испол…
30 апр '16 в 13:33
1 ответ

Срок функциональной зависимости

Я пытаюсь выяснить некоторые вопросы о функциональных зависимостях (базы данных). Является ли это предположение истинным или ложным и почему? если A-> B, то AC-> B Спасибо вам большое! Мое решение: Предположим, что A является подмножеством B, тогда …
06 янв '14 в 16:06
1 ответ

Разложить следующее отношение в BCNF

Дана связь R с атрибутами A, B, C, D, E и набором функциональных зависимостей A->B, BC->E, ED->A. Разложите его в нормальную форму.
08 окт '17 в 21:30
2 ответа

Функциональные зависимости - проблема нормализации BCNF

Мне нужна помощь по вопросу нормализации. Рассмотрим отношение R(ABC) со следующими функциональными зависимостями: AB --> C AC --> B Как я могу изменить это к нормальной форме Бойса-Кодда? Если я оставлю это так, это отношение с ключевым атриб…
08 фев '15 в 22:42
1 ответ

Таблица с уникальным идентификатором в третьей нормальной форме?

Предположим, у меня есть таблица с колонками: person_id (первичный ключ) имя Фамилия день рождения У меня также есть уникальное ограничение на комбинацию {first_name, last_name} (я знаю, что больше людей могут иметь одно и то же имя, но я хочу, чтоб…
28 ноя '14 в 16:34
1 ответ

Нахождение первичного ключа и нормализация отношения с функциональными зависимостями

Я готовлюсь к экзамену по базам данных, и я понял, что мой профессор не преподавал раздел лекций по нормализации, но затмил их, поэтому я занимался самообучением, и в примечаниях есть этот пример без решений, и мне было интересно если я все делал пр…
02 май '15 в 18:05
2 ответа

Функциональные зависимости против семейства типов

Я разрабатываю среду для проведения экспериментов с искусственной жизнью и пытаюсь использовать семейства типов вместо функциональных зависимостей. Семейства типов являются предпочтительным подходом среди Haskellers, но я столкнулся с ситуацией, ког…
18 окт '12 в 13:39
2 ответа

Может ли декомпозиция BCNF сохранить все функциональные зависимости, заданные F = {AB -> E, BC -> G, C-> BG, CD->A, EC->D, G->CH}?

Дано F = {AB -> E, BC -> G, C-> BG, CD->A, EC->D, G->CH}выполнить декомпозицию BCNF и проверить, сохраняет ли она все функциональные зависимости. Минимальное покрытие R = {AB->E,C->B,C->G,CD->A,EC->D,G->C,G->H}…
22 мар '17 в 19:48
1 ответ

Базы данных: декомпозиция без потерь и естественное соединение

Вопрос, на который я отвечаю: Рассмотрим R(A,B,C) с FD A -> B. Дайте vaild экземпляр r из R так, что когда мы проецируем r на отношения R1(A,B) и R2(B,C) и затем снова присоединяемся к R1 и R2, мы не получаем тот же экземпляр r. Я не могу думать о с…
16 мар '14 в 13:33
2 ответа

Эти таблицы в третьей нормальной форме?

Я разложил отношения, которые отслеживают сотрудников и часы, которые они провели, работая в отелях. Исходные отношения следующие R(national insurance number, contract Number, hours, eName, hotel Number, hotel Location) переписан как R(A, B, C, D, E…
06 мар '17 в 23:19
1 ответ

Получение тех же FD, с которыми вы начинаете после разложения BCNF?

Я произвел декомпозицию BCNF по отношению, которое имеет 5 функциональных зависимостей и в итоге получило 5 отношений. Однако каждое новое отношение имело те же атрибуты и FD, что и одна из исходных функциональных зависимостей. Например, одна функци…
05 апр '17 в 04:24
2 ответа

Haskell: Почему GHC не выводит тип в этом классе типов с помощью fundeps?

Я пытаюсь использовать классы типов и функциональные зависимости, чтобы получить функцию типа, которая может преобразовать, скажем, Int в Cont Int в приведенном ниже коде используйте его в другом классе типов, как показано ниже. {-# LANGUAGE KindSig…
25 сен '12 в 23:18
1 ответ

Рассчитать индекс фазовой задержки между двумя временными рядами

Я хочу рассчитать индекс фазовой задержки, как определено в этой статье, используя Matlab: http://kurage.nimh.nih.gov/tomh/PLI.pdf У меня есть два равных по длине временных ряда a и b. Я не уверен, как это сделать. Что я сделал до сих пор: PLI = abs…
07 сен '16 в 09:42