Вопросы по теме 'functional-dependencies'
Является ли x --- ›y тривиальной функциональной зависимостью?
Если y - подмножество x, то x - ›y - тривиальная функциональная зависимость (это хорошо известно). Но я сомневаюсь: y не является подмножеством x и x U y = R, тогда я могу сказать, что x - ›y - тривиальная функциональная зависимость (я читал об этом...
4950 просмотров
schedule
07.09.2021
Проектирование соединения без потерь, с сохранением зависимостей, базы данных 3NF
Мне нужно создать базу данных, которая будет отслеживать следующие атрибуты:
stdnum // student number
postcode // postal code
phone_number // student phone number
city // student address: city
Также...
3707 просмотров
schedule
24.09.2021
Правила вывода для функциональных зависимостей, X- ›A, Y-› B, XY- ›AB
Как говорится в названии, мне трудно понять, почему, если у нас есть X-> A и Y-> B, то почему неправильно писать XY-> AB. Насколько я понимаю, если A функционально зависит от X, а B функционально зависит от Y, тогда, когда у нас есть XY на левой...
1131 просмотров
schedule
27.09.2021
преобразование многозначной зависимости в SQL
Предположим, что в отношении R (X, Y, Z) имеется следующее МВД:
X ->> YZ
Поскольку я могу написать FD X -> Y в SQL как таковой:
SELECT X
FROM R
GROUP BY A
HAVING COUNT (DISTINCT Y) > 1
Я пытаюсь применить ту же...
561 просмотров
schedule
14.11.2021
Конечное кодирование взаимно рекурсивных типов без тегов
Я пытаюсь выразить пару взаимно рекурсивных типов данных в кодировке final-tagless .
Я умею писать:
{-# LANGUAGE NoMonomorphismRestriction #-}
{-# LANGUAGE ExplicitForAll #-}
module Test where
class ExprSYM repr where
expr :: forall...
256 просмотров
schedule
16.11.2021
Всегда ли каноническая обложка уникальна для любых отношений?
Предположим, у меня есть следующие отношения
C -> B
CB -> AC
CAE -> FB
D -> E
CA -> B
Каноническая обложка в моей книге C -> AB, CE -> F, D -> E
Но каноническая обложка тоже может быть C - AB, D - EF? Можно ли...
2656 просмотров
schedule
01.10.2021
Может ли разложение 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 =...
323 просмотров
schedule
09.11.2021
Третья нормальная форма транзитивной зависимости между двумя внешними ключами?
Я создаю базу данных, содержащую книги, которые у меня есть и которые я прочитал. Я хочу отслеживать как книгу (или «название»), которой я владею и которую читаю, так и издание (или «физический переплет») этой книги, которой я владею и которую читаю....
1069 просмотров
schedule
02.03.2022
Функциональные зависимости SQL
Предположим, что X1 → Y1 и X2 → Y2
Верно ли, что X1 ∩ X2 → Y1 ∩ Y2? Как насчет X1 ∪ X2 → Y1 ∩ Y2?
Я думал об этом пару часов и действительно застрял. Возможно, верно второе, потому что все, что находится как в Y1, так и в Y2, будет зависеть по...
150 просмотров
schedule
05.03.2022
Функциональные зависимости СУБД - ключевые
Я читаю книгу Рамакришнана по системам управления базами данных, и в главе, посвященной уточнению схемы и нормальным формам, я увидел предложение, в котором говорилось:
K is a candidate key for R means that K ----> R , where R is the relation....
448 просмотров
schedule
12.04.2022
Поиск функциональных зависимостей
Я получил следующее задание в задании:
В следующих задачах предполагается отношение R(A, B, C, D, E) со следующими функциональными зависимостями:
AB → C, BC → D, CD → A, E → D
Решите следующие задачи: Перечислите все ключи R и...
72 просмотров
schedule
29.04.2022
Многосторонний FunDep и согласованность с перекрывающимися экземплярами: (почему) это работает?
Это разновидность старого каштана. Я написал это, ожидая, что это не сработает, но это сработало. Или это хитроумно? (В GHC 8.6.5.)
{-# LANGUAGE MultiParamTypeClasses, FlexibleInstances, FlexibleContexts,
FunctionalDependencies,...
155 просмотров
schedule
07.05.2022
Функциональные зависимости после нормализации
Я изо всех сил пытаюсь понять один аспект процесса нормализации, я не совсем понимаю, что делать с функциональными зависимостями после того, как я нормализую отношение к 2NF (или 3NF). Позвольте мне описать это на примере.
В упражнении из моего...
413 просмотров
schedule
22.05.2022
Попробуйте найти Частичные и транзитивные зависимости
Cust_id| Name |Ord_no|Ord_Date |PROD-ID|Descr |Qty_ord|
C001 | Pink | O81 | 15-Apr |P005 |Chisel|6 |
C001 | Pink | O81 | 15-Apr |P004 |Jane |14 |
C0075 | Red | O99 | 16-Apr |P015 |Saw |3 |
C009 |...
2179 просмотров
schedule
26.05.2022
Почему этот код Haskell проверяет типы с помощью fundeps, но выдает неприкасаемую ошибку с семействами типов?
Учитывая некоторые определения типов:
data A
data B (f :: * -> *)
data X (k :: *)
… И этот класс типов:
class C k a | k -> a
… Эти (очень надуманные для целей минимального примера) определения функций typecheck:
f :: forall...
436 просмотров
schedule
07.06.2022
Нетривиальная функциональная зависимость в замыкании множества функциональной зависимости
enter code here Я готовлюсь к экзамену по базе данных.
У меня есть вопрос о поиске нетривиальной функциональной зависимости для R={A,B,C,D,E,F,G} с заданным набором функциональных зависимостей как:
A->B
A->D
C->EA
F->G...
2187 просмотров
schedule
28.06.2022
Haskell: определение типа при использовании функциональных зависимостей с семействами типов и GADT
Мне пришлось использовать множество расширений, чтобы создать безопасное представление встроенного языка в Haskell. В какой-то момент, когда я ввел взаимную функциональную зависимость, вывод типа остановился, чтобы выяснить правильные замены для...
247 просмотров
schedule
25.06.2022
Каков правильный подход при декомпозиции зависимостей
Здравствуйте, я сейчас готовлюсь к экзамену, который состоится через 11 дней. Я борюсь с Carnonical Cover, сохранением зависимостей и разложением без потерь. Я также немного туманен в отношении нормальных форм и вышеупомянутых предметов в том...
981 просмотров
schedule
01.07.2022
В чем разница между первичным ключом, ключом-кандидатом и суперключом с точки зрения функциональной зависимости
В чем разница между первичным ключом , ключом-кандидатом и суперключ с точки зрения функциональной зависимости ?
Я знаю разницу, но я не знаю их различия с точки зрения функциональных зависимостей.
888 просмотров
schedule
07.07.2022
рассмотрите следующие атрибуты, которые для ясности были сопоставлены с буквой как
A - flight_date
B - plane ticket price
C - source_airport_country
D - ticket holder names
E - address
F - source airport
G - Pilot_name
H - Pilot_grade
I - Plane_id
Существует функциональная зависимость между plane_id, датой полета и именем...
50 просмотров
schedule
14.07.2022