functional-dependencies

5calore

5risposta

dipendenza funzionale non banale in DBMS

pls aiutarmi a scoprire una dipendenza funzionale non banale in una tabella seguente? A. B. C 1 1 1 1 1 0 2 3 2 2 3 2 e spiegare anche il concetto di base dietro di

database relational-database functional-dependencies 2014-04-10

---

6calore

1risposta

Dipendenza funzionale Haskell a b -> c secondo c?

Si consideri il seguente codice Haskell: {-# LANGUAGE MultiParamTypeClasses, FlexibleInstances, FunctionalDependencies #-} class C a b c | a b -> c instance C (l (i,j)) (r i j) j instance C

haskell functional-dependencies type-families 2015-02-13

---

14calore

1risposta

Tutti i parametri di tipo dipendenti l'uno dall'altro in dipendenze funzionali

Diciamo che ho una classe di tipo con n parametri di tipo e voglio che qualcuno di loro determini in modo univoco tutti gli altri. E 'abbastanza per fare le dipendenze formano un ciclo come in class F

haskell typeclass functional-dependencies 2015-09-04

---

8calore

3risposta

Determinanti e Candidate Keys identici o diversi?

Here ho trovato questo: Definizione: Un fattore determinante in una tabella del database è un attributo che è possibile utilizzare per determinare i valori assegnati ad altri attributi (s) nella stess

sql database functional-dependencies candidate-key 2013-05-23

---

9calore

1risposta

Motivazione di avere dipendenze funzionali

Qual è la motivazione di avere dipendenze funzionali in Haskell? Un esempio di una dipendenza funzionale: class (Monad m) => MonadSupply s m | m -> s where next :: m (Maybe s) Si afferma nel li

haskell functional-dependencies 2013-12-11

---

6calore

2risposta

Lossless Partecipa e decomposizione Da dipendenze funzionali

Supponiamo che la relazione R(K, L, M, N, P), e le dipendenze funzionali che tengono il R sono: - L -> P - MP -> K - KM -> P - LM -> N Supponiamo decompongono in 3 rapporti nel modo seguente: - R

join relational-algebra cartesian-product functional-dependencies lossless 2014-05-11

---

7calore

2risposta

Trovare una relazione in 3NF ma non in BCNF

Ho letto molte fonti diverse su come differenziare le relazioni che sono in 3NF/BCNF. E ho finora questo è la mia comprensione ... userò questa relazione come un esempio ... R = {A, B, C, D, E} e F =

database database-normalization functional-dependencies 3nf bcnf 2014-05-15

---

12calore

4risposta

Garanzia statica sulle relazioni chiave/valore in Data.Mappa

Desidero creare un costruttore intelligente speciale per Data.Map con un certo vincolo sui tipi di relazioni coppia chiave/valore. Questo è il vincolo ho cercato di esprimere: {-# LANGUAGE MultiParamT

haskell compile-time functional-dependencies type-constraints gadt 2013-02-28

---

7calore

2risposta

Qual è la "condizione di copertura"?

Nel fonte per il trasformatore Stato nel mtl, essa afferma -- --------------------------------------------------------------------------- -- Instances for other mtl transformers -- -- All of these

haskell functional-dependencies 2012-08-14

---

5calore

3risposta

per il calcolo della chiusura di un gruppo di FD

Sto cercando un algoritmo di facile comprensione per calcolare (a mano) una chiusura di un insieme di dipendenze funzionali. Alcune fonti, incluso il mio istruttore, dicono che dovrei giocare con gli

database functional-dependencies 2013-06-11

---