6
ответов

Какое правило нормализации это нарушает?

Предположим, что у меня есть две таблицы на базе данных, T10 и T11, имея 10 и 11 столбцов, соответственно, где 10 из столбцов являются точно тем же на обоих. Что (если таковые имеются) правило нормализации - я нарушение?
вопрос задан: 2 November 2014 17:05
4
ответа

Список всех функциональных зависимостей для экземпляра отношения [duplicate]

Вопрос. Список всех функциональных зависимостей, которые удовлетворяет этому экземпляру отношения. Может ли кто-нибудь объяснить, как получается ответ? Другие примеры, которые я читаю, кажутся очень сложными. Я очень новичок в ...
вопрос задан: 25 April 2011 23:59
1
ответ

Найдите замыкание набора функциональных зависимостей [duplicate]

Используя аксиому Армстронга, найдите F + R = {A, B, C, D} Функциональные зависимости = {A} -> {B}, {B, C} -> {D} F + = {A} - & gt; {A, B} - & gt; {B, C} - & gt; {C, D} - & gt; {D} Производится сверху, используя ...
вопрос задан: 23 February 2016 02:14
1
ответ

Что делает канал в среднем определении класса?

класс (Моноид w, Монада m) => MonadWriter w m | m-> w, где передача:: m (a, w-> w)-> m слушание:: m-> m (a, w) скажите:: w-> m (), Каково значение канала...
вопрос задан: 17 April 2011 21:05
0
ответов

Уточнение основных атрибутов и частичных зависимостей

Я просматривал свои слайды лекций, когда наткнулся на этот пример, который я считаю неправильным. Мой лектор не смог уточнить. Я был бы признателен, если бы я мог получить некоторые разъяснения. R = (A, B, ...
вопрос задан: 9 April 2019 06:22
0
ответов

Функциональная зависимость и нормализация

Я пытаюсь найти отличный ресурс для изучения функциональной зависимости и нормализации. Кто-нибудь знает, где мне искать? Мне трудно определить, находится ли ФД в 1НФ, ...
вопрос задан: 14 January 2019 23:43
0
ответов

Что такое «условие покрытия»?

Источник для преобразователя состояния в состояниях mtl:----------------------------------------------------------------------------- --Экземпляры для других трансформеров mtl-- --Все эти случаи...
вопрос задан: 27 March 2018 04:54
0
ответов

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

Учитывая следующие функциональные зависимости, как мне вычислить минимальное покрытие :A -> B, ABCD -> E, EF -> GH, ACDF -> EG В примечаниях к лекциям приводится вывод для минимального...
вопрос задан: 22 July 2014 03:54
0
ответов

Определение ключей по функциональным зависимостям

Я изучаю курс теории баз данных, и после прочтения мне непонятно, как я могу вывести ключи, учитывая набор функциональных зависимостей. У меня есть пример проблемы: найти все ключи ...
вопрос задан: 2 October 2012 16:12
0
ответов

Как обойти условие покрытия для функциональных зависимостей без использования -XUndecidableInstances

Когда я использую функциональные зависимости, я часто сталкиваюсь с условием покрытия. Его можно поднять с помощью UndecidableInstances, но я обычно стараюсь держаться подальше от этого расширения. Вот ...
вопрос задан: 31 January 2012 08:19
0
ответов

Как избежать квадратичного увеличения экземпляров класса типов?

Примите во внимание: {- # OPTIONS -fglasgow-exts # -} data Second = Second данные Минута = Минута data Hour = Hour - Смотри Ma ', фантомный тип! data Time a = Time Int instance Show (Time Second) where show (...
вопрос задан: 22 December 2011 13:53
0
ответов

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

Я пытаюсь реализовать перемешивание некоторых данных по методу Фишера-Ятса. Этот алгоритм легко реализовать для одномерных массивов. Однако мне нужно иметь возможность перетасовывать данные в двумерной матрице. An ...
вопрос задан: 22 December 2011 00:13
0
ответов

Экземпляр Typeclass с функциональными зависимостями не работает

Играя с классами типов, я придумал, казалось бы, невинный класс Pair p a | p -> a where one :: p -> a two :: p -> a Кажется, это работает нормально, например. экземпляр Pair [a] a где ...
вопрос задан: 16 December 2011 15:41
0
ответов

F# логирование структуры приложений / репозиториев и т.д.

Я постепенно переключаюсь на F# для многих моих домашних проектов, но я немного озадачен тем, как соединить вместе законченные приложения, и, более конкретно, межсекторными проблемами. На C#, если я хочу ...
вопрос задан: 20 September 2011 01:57
0
ответов

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

Почему этот результат в конфликте? класс foo a b | b -> а где foo :: a -> b -> экземпляр bool eq a => foo aa где foo = (==) экземпляр eq a => foo a (a -> a) где foo x ...
вопрос задан: 15 September 2011 19:12
0
ответов

Сокращение кода за счет использования симметрии между экземплярами классов нескольких типов

Контекст Я пишу модуль Haskell, представляющий префиксы SI: модуль Unit.SI.Prefix, где Каждый префикс SI имеет соответствующий тип данных: data Kilo = Kilo derating Показать data Mega = Mega deriving ...
вопрос задан: 26 August 2011 16:12
0
ответов

표준 표지와 최소 표지의 차이

이게 말도 안되는 질문이면 사과드립니다. 검색했습니다. 아무 소용이없는 대답에 대해 높고 낮음. 최소 커버를 계산하는 방법을 알고 있습니다. 즉, 각 기능 종속성이 하나만 있는지 확인합니다.
вопрос задан: 15 June 2011 11:02
0
ответов

Функциональная зависимость в Haskell

Я действительно не могу этого понять. Зачем это вообще нужно? Я имею в виду, что если я использую параметр одного и того же типа, я думаю, это означает, что они должны быть одного типа. Я слышал, что это может помочь компилятору избежать бесконечного цик
вопрос задан: 9 May 2011 01:58
0
ответов

ключи-кандидаты от функциональных зависимостей

Учитывая Отношение R с атрибутами ABCDE. Вам дают следующие зависимости:-> B, Британская Колумбия-> E, и ED-> A. У меня уже есть ответ, который является CDE, ACD и BCD. Я просто должен знать, как сделать...
вопрос задан: 5 April 2011 23:55
0
ответов

Haskell: неочевидные примеры функциональных зависимостей

Примеры функциональных зависимостей, которые я видел, сводятся к отображению контейнера-> элемент и аргументы-> результат (как в Матричном Векторном Векторе Mult). Они, кажется, лучше выражаются типом...
вопрос задан: 31 July 2010 14:06