Вопросы по теме 'functional-dependencies'

Функциональная зависимость в Haskell
Я не могу этого понять. Зачем он нам вообще нужен? Я имею в виду, что если я использую параметр одного типа, я думаю, это означает, что они должны быть одного типа. Я слышал, что это может помочь компилятору избежать бесконечного цикла. Может ли...
1483 просмотров

Переменные неоднозначного типа с функциональными зависимостями Haskell
Я играл с FunctionalDependencies-Extension Haskell вместе с MultiParamTypeClasses. Я определил следующее: class Add a b c | a b -> c where (~+) :: a -> b -> c (~-) :: a -> b -> c neg :: a -> a zero :: a...
286 просмотров

Какое условие покрытия?
Источник для трансформатора State в mtl указано: -- --------------------------------------------------------------------------- -- Instances for other mtl transformers -- -- All of these instances need UndecidableInstances, -- because they do...
585 просмотров
schedule 13.10.2022

Простое определение ключей-кандидатов с функциональными зависимостями
Пусть R(A,B,C,D,E) будет схемой отношения и F = {A→C, B→D, C→E, E→A}, Найдите все ключи-кандидаты. Я считаю, что в этом наборе нет CK из-за невозможности нанести карту. B или D к любому другому отношению, кроме B -> D . Означает ли это, что...
5587 просмотров

Как определить функциональные зависимости
В настоящее время я работаю над университетским проектом, и теперь я немного запутался в части функциональных зависимостей. Для этого проекта мне пришлось создать логическую модель данных на основе моей собственной спецификации проекта, а также...
46317 просмотров

функциональные зависимости с участием пустого множества
Я пытаюсь понять концепцию пустого набора с FD. Скажи, что у меня есть R(A,B,C,D) A-> E B-> C B-> D где E — пустое множество, насколько я понимаю, это тривиальное FD, так как вы не узнаете ничего нового, имея A. Но когда у вас есть...
1950 просмотров

функциональные зависимости таблицы, имеющей независимые атрибуты
у меня есть сомнения по поводу независимых атрибутов (например, постоянного столбца) в таблице. каким должен быть первичный ключ и fds для следующего примера: пусть a,b,c,d,e — атрибуты, a,b,c однозначно идентифицирует строку, а d,e — независимые...
525 просмотров

SQL-показать, что R не находится в нормальной форме Бойса-Кодда
R = (J,K,L,M,N) с набором функциональных зависимостей {J->KL,LM->N,K->M,N->J} . Я понимаю определение BCNF. Я считаю, что не существует тривиальных функциональных зависимостей и не может быть суперключа. Я не уверен насчет второй...
346 просмотров

нормализация 1NF или 3NF
хотя, прочитав много статей в Интернете, я знаю, что этот вопрос задавали довольно много раз. У меня все еще есть проблема с определением, находится ли таблица отношений в 1NF, 2NF или 3NF Я нашел пример, как показано ниже Студенты участвуют во...
229 просмотров

Проблемы с пониманием значения обозначения функциональной зависимости (A → BC)
Мне трудно визуализировать, что именно означает A->BC, в основном, что именно делает BC. Например, на таблице «Если A -> B и B -> C, то A -> C» будет выглядеть так, и утверждение будет верным: A | B | C 1 | 2 | 3 1 | 2 | 3 Как...
857 просмотров
schedule 27.08.2022

Может ли ключ-кандидат подразумеваться другими атрибутами?
Скажем, у меня есть реляционная схема R(A,B,C,D,E) и одна функциональная зависимость A->BCDE . Поскольку замыкание A равно ABCDE (т. е. каждому атрибуту), это суперключ; поскольку это наименьший ключ, не содержащий другого ключа, он также...
269 просмотров

Нахождение отношения в 3NF, но не в BCNF
Я читал много разных источников о том, как различать отношения в 3NF/BCNF. И я до сих пор это мое понимание ... Я буду использовать это отношение в качестве примера... R = {A, B, C, D, E} а также F = {A -> B, B C - > E, E D...
15009 просмотров

нахождение минимального покрытия заданного набора функциональных зависимостей
У меня есть набор функциональных зависимостей для реляционной схемы, и мне нужно найти минимальное покрытие. Я понимаю основные концепции устранения лишних строк, но изо всех сил пытаюсь это сделать. Каков наиболее эффективный способ выполнить это?...
451 просмотров
schedule 31.03.2023

Как я могу определить ключи-кандидаты в этом отношении
У меня есть отношение R(ABCDEF) и функциональные зависимости F{AC->B, BD->F, F->CE} Я должен найти все ключи-кандидаты для отношения (аксиомы Армстронга). Я сделал это: A->A, B->B, C->C, D->D, E->E, F->F...
1316 просмотров

Частичная зависимость (базы данных)
Я сфабриковал определение, что частичная зависимость - это когда поля косвенно зависят от первичного ключа или частично зависят, но также зависят от других ключей, которые зависят от первичного ключа, так что если поле, от которого зависит другое...
163927 просмотров
schedule 15.03.2024

Нахождение функциональной зависимости
Как определить функциональную зависимость и ключ-кандидат на основе этого примера? Курсовой модуль и его может выполнять лектор, студент или посетитель. Модуль курса состоит из кода предмета и названия предмета. Когда администратор создает...
204 просмотров
schedule 11.05.2024

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

Вторая нормальная форма; 2НФ; почему нет в 2нф
У меня следующая проблема. Мне нужно определить следующее задание во второй нормальной форме, и у меня есть некоторые проблемы с пониманием того, что такое вторая нормальная форма и как ее определить. У меня есть этот пример для...
459 просмотров

Использование функциональной зависимости для устранения параметра типа
Я пытаюсь реализовать оболочку Parsec Stream , которая будет помнить последний токен uncons , чтобы обеспечить некоторую возможность просмотра назад. Я хочу, чтобы оболочка работала с любым экземпляром Stream . Вот что у меня есть до сих пор:...
77 просмотров
schedule 08.02.2023

Синтез-алгоритм для 3NF
Я изучаю базы данных и, очевидно, мне приходится иметь дело с нормальными формами. Теперь я придумал этот очень простой пример; задано отношение R с атрибутами {A, B, C} и функциональными зависимостями {A,B -> C , A -> C} . Ключ-кандидат...
4830 просмотров