유형 - 클래스와 장난이 작동하지 않습니다 instance Pair [a] a where
one [x,_] = x
two [_,y] = y
그러나 튜플에 문제가 있습니다. 다음과 같은 정의가 컴파일 비록 내가 예상대로 ... instance Pair (a,a) a where
one p = fst p
two p = sn
고려 :이 같은 미친 물건 작동하는지 아주 오싹하지만 {-# OPTIONS -fglasgow-exts #-}
data Second = Second
data Minute = Minute
data Hour = Hour
-- Look Ma', a phantom type!
data Time a = Time Int
instance Show (Time
저는 현재 취하고있는 과정을위한 작은 컴파일러를 작성하고 있습니다. 그래서 typechecking을 처리하기 위해이 모나드 변환기를 작성하기 시작했으나 매우 비밀스러운 형식 오류가 발생했습니다. 기능적 종속성과 관련이 있습니다. 실제로는 잘 모릅니다. 오류를 재현 할 수있는 프로그램에서 작은 발췌 : import Control.Monad.RWS.Lazy
SQL에 대한 함수 종속성에 대해 공부하고 있습니다. 질문이 있습니다. 우리는 함수 종속 예를 들어 A->B
C->D
CA->E
D->F
및 나는 그 분해되어 있는지 여부와 관련하여 알아 내려고했다 여부를 우리는이 관계 먼저 = CAEB을 가지고 있습니다 둘째 = CDF 및는 나는 우리가 BCNF 또는 3NF 내 아이디어를 를 사용할 때이 두 re
주어진 관계에 대한 가장 일반적인 양식을 찾는 방법 유일한 후보 키가 BHI (F, BFHI로 계산해야한다면)입니다. 속성 F가 전혀 사용되지 않기 때문입니다. FD와 완전히 독립적입니다. 그러면 F 속성으로 무엇을해야합니까? 현실화 R에 대해 가장 높은 표준 형식을 결정하는 방법은 무엇입니까?
나는 FDS를 찾을 수 있겠 스키마 => Loan(ISBN:pk, copy:pk, loandate:pk, loanerNr:fk, returnDate)
pk = primary key fk = foreign key
이 밖으로 대여 책의 기록을 유지하는 라이브러리 DB-시스템이라고 말할 수 있습니다 . 또한 returnDate 속성은 nill 일 수 있습
터플 체인에서 빈 튜플을 제거하는 코드를 작성하려고합니다.이 코드 : {-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE FunctionalDependencies #-}
{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE OverlappingInstances #-}
{-# L
주어진 관계 종속성으로부터 내 관계에 대한 모든 후보 키를 찾으려면 PDF의 알고리즘을 따르고 있습니다. 나는 모든 속성이 중간 속성이므로 필요한 속성이 없음을 발견했습니다. 알고리즘의 4 단계 (6 페이지)의 결과는 Let L be the list of all non-empty subsets of M (the middle-ground attributes)
The는 부동산 중개인을위한 보드를 건립하는 회사입니다. 판매를 위해 이사회에 맡기십시오. 상담원이 작업을 게시 할 때 보드 주소, 보드 소유 에이전트 및 작업 유형이 모두 저장됩니다. 참고 : 속성 앞에는 별표가 기본 키, 뒤에 별표는 foreign입니다. 모든 테이블은 // background info to help understand the proje