Вопросы по теме 'functional-dependencies'
Представлять трехстороннюю функциональную зависимость базы данных в 5-й нормальной форме
Можно ли представить составную ключевую функциональную зависимость неключевого столбца в пятой нормальной форме?
У меня есть три стола,
users
----------
id
name
events
----------
id
name
events_users
---------------------------
id
user_id...
633 просмотров
schedule
07.02.2023
Какое правило нормализации это нарушает?
Предположим, у меня есть две таблицы в базе данных, T 10 и T 11 , имеющие 10 и 11 столбцов соответственно, где 10 столбцов в обоих случаях абсолютно одинаковы.
Какое (если есть) правило нормализации я нарушаю?
1295 просмотров
schedule
07.06.2023
ключи-кандидаты из функциональных зависимостей
Дано отношение R с атрибутами ABCDE. Вам даны следующие зависимости: A -> B, BC -> E и ED -> A. У меня уже есть ответ: CDE, ACD и BCD. Мне просто нужно знать, как это сделать. Спасибо.
59187 просмотров
schedule
16.08.2023
Нормализация 3НФ
Я прочитал несколько примеров нормализации, однако наткнулся на один, который не понимаю.
Веб-сайт примера находится здесь: http://cisnet.baruch.cuny.edu/holowczak/classes/3400/normalization/#allinone
Часть, которую я не понимаю, это "Третья...
853 просмотров
schedule
12.01.2023
Определение функциональных зависимостей отношений и их нормальных форм
Я готовлюсь к тесту базы данных, и в учебном пособии есть несколько (много) упражнений по нормализации БД и функциональной зависимости, но учитель не делал подобных упражнений, поэтому я хотел бы, чтобы кто-нибудь помог мне понять это, чтобы атаковать...
4676 просмотров
schedule
19.11.2023
Конфликт функциональных зависимостей Haskell
Почему это приводит к конфликту?
class Foo a b | b -> a where
foo :: a -> b -> Bool
instance Eq a => Foo a a where
foo = (==)
instance Eq a => Foo a (a -> a) where
foo x f = f x == x
Обратите внимание, что код будет...
1666 просмотров
schedule
08.03.2022
Функциональная зависимость нескольких типов
Возможно ли следующее (в духе) с GHC?
-- Syntax error: parse error on input `a'
class Foo a b c | (a, b) -> c where
foo :: a -> b -> c
Какие у меня есть альтернативы?
183 просмотров
schedule
24.08.2022
Как обойти условие покрытия для функциональных зависимостей без использования -XUndecidableInstances
При использовании функциональных зависимостей я часто попадаю в Условие покрытия . Его можно поднять с помощью UndecidableInstances , но я обычно стараюсь держаться подальше от этого расширения.
Вот несколько надуманный пример, который работает...
379 просмотров
schedule
01.12.2022
как найти высшую нормальную форму для данного отношения
Я просмотрел Интернет и книги, и у меня все еще есть некоторые трудности с определением нормальной формы этого отношения.
R(a, b, c, d, e, f, g, h, i)
FDs =
B→G
BI→CD
EH→AG
G→DE
Пока у меня есть единственный ключ-кандидат - BHI (если я должен...
4522 просмотров
schedule
20.12.2022
Как вычислить функциональные зависимости для декомпозиции?
Скажем, R имеет следующие атрибуты: {A,B,C,D,E} и имеет следующие функциональные зависимости:
A -> BC
CD -> E
B -> D
E -> A
И есть разложение, состоящее из R1(A,B,C) и R2(A,D,E). Как я могу вычислить функциональные зависимости R1...
3156 просмотров
schedule
18.07.2022
рассчитать ключи-кандидаты с учетом функциональных зависимостей
Учитывая следующие функциональные зависимости от отношения R(A B C D E F G)
AB → CF
BG → C
AEF → C
ABG → ED
CF → AE
A → CG
AD → FE
AC → B
Я разработал ключи-кандидаты, используя метод, при котором атрибут помещается либо в левый, либо в...
4793 просмотров
schedule
06.04.2024
Что такое каноническая оболочка, замыкание и посторонний атрибут?
Я изучаю концепции базы данных, и есть 3 концепции, которые я не понимаю: каноническая оболочка, посторонний атрибут и закрытие. Я читал определение канонического покрытия, но не понимаю, как оно связано с 3NF и BCNF. Определение канонического...
17856 просмотров
schedule
18.12.2022
Нормальная форма Бойса-Кодда с круговыми функциональными зависимостями
Например, в дизайне реляционной базы данных есть схема S (банкир, bname, клиент) и функциональные зависимости (FD).
банкир->bname клиент,bname->банкир
Находится ли схема S в BCNF? Или это должно быть: (banker, bname) и (customer, banker)
928 просмотров
schedule
27.03.2023
Функциональная зависимость
if x->a and y-> b
then
from x->a == xy-->ay [ir2] xy-->a [ir4]
from y->b == xy-->xb [ir2] xy-->b [ir4]
therefore xy-->ab [ir5]
Но elmasri navathe говорит,...
333 просмотров
schedule
23.09.2023
Доказательство FD на наборе отношений - нужно проверить решение
У меня возникают проблемы с подтверждением функциональных зависимостей с помощью аксиом Армстронга. Я борюсь с этим:
Пусть R(A,B,C,D,E) схема отношения и F = {A→CD, C→E, B→D}
Докажите: F: BC->DE
Что я имею:
Дано B-›D
Аугмент C на 1,...
302 просмотров
schedule
05.06.2022
Минимальное покрытие множества функциональной зависимости
Я проходил условия минимального покрытия набора зависимостей функций.
Здесь упоминается, что правая часть может иметь только один атрибут. Так что {A1A2 → B1B2} невозможно. Он должен быть разделен как {A1A2 → B1, A1A2 → B2} .
Но в СУБД...
940 просмотров
schedule
05.07.2022
MultiParamTypeClasses, FunctionalDependencies и вызов неоднозначных функций
С функциональными зависимостями я могу объявить класс Foo :
class Foo a b c | a -> b where
foo1 :: a -> b -> c
foo2 :: a -> c
и когда я звоню foo2 , все работает нормально. Компилятор знает, какой экземпляр использовать...
173 просмотров
schedule
07.06.2022
Идентификация нормальной формы Бойса-Кодда
Я пытаюсь разобраться в различиях между 3NF и BCNF, и я думаю, что добираюсь туда, но было бы здорово, если бы кто-нибудь мог помочь.
Ниже приведен ряд отношений в 3-й нормальной форме (услужливо украденный из Identifying Functional Dependencies ,...
751 просмотров
schedule
28.05.2023
Выражение отношений классов типов с функциональными зависимостями в Haskell
Я хочу сказать, что у меня есть 3 связанных класса типов.
У меня есть два файла. Первый:
{-# LANGUAGE MultiParamTypeClasses, FunctionalDependencies #-}
module ModA where
class Class a b c | a -> b, b -> c where
getB :: a -> b...
147 просмотров
schedule
31.05.2022
Нужна помощь в выяснении функциональных зависимостей
У меня есть проблема, когда они просят меня получить функциональные зависимости, но я не совсем уверен, правильно ли я их понял, эта тема кажется немного запутанной, мне было интересно, не могли бы вы, ребята, перепроверить меня или исправить меня,...
45 просмотров
schedule
20.07.2022