Cos'è ElectroYou | Login Iscriviti

ElectroYou - la comunità dei professionisti del mondo elettrico

basi di dati e dipendenza funzionale: definizione di impli

Linguaggi e sistemi

Moderatori: Foto UtentePaolino, Foto UtenteMassimoB, Foto Utentefairyvilje

0
voti

[1] basi di dati e dipendenza funzionale: definizione di impli

Messaggioda Foto Utenteziomangrovia » 13 giu 2019, 21:35

Dalla definizione di implicazione del mio testo leggo quanto segue...

dato un insieme F di dipendenze funzionali (FD) definito sullo schema R(Z)
e sia X\rightarrow{Y} una dipendenza funzionale di F:

si dice che F implicaX\rightarrow{Y}
se per ogni istanza r su R, che verifica tutte le dipendenze funzionali in F,
risulta verificata anche per X\rightarrow{Y}

DUBBIO:
mi chiedo ma se nella premessa si dichiara che X\rightarrow{Y} fa parte di F e
nella seconda parte si afferma che ogni istanza r su R verifica tutte le dipendenze funzionali in F,
quindi anche X\rightarrow{Y}, è OVVIO che verificherà anche X\rightarrow{Y} no ?!?
Mi sembra piuttosto banale questa conclusione o forse la interpreto male?


E' come dire ho un insieme numerico (1,2,3,4,5) e poi prendo il solo valore 5 dell'insieme,
poi dico se tutti gli elementi dell'insieme sono numeri allora anche il 5 è un numero!!! Ma se faccio la premessa che il 5 fa parte dell'insieme non è ovvio?

Un minimo di impegno per favore... a parte la miriade di post da cui trarre esempio per la sintassi LaTeX, quando non sai qualcosa puoi sempre chiedere.
Ultima modifica di Foto Utenteclaudiocedrone il 14 giu 2019, 2:23, modificato 2 volte in totale.
Motivazione: "sistemato" LaTeX
Avatar utente
Foto Utenteziomangrovia
45 1 6
Frequentatore
Frequentatore
 
Messaggi: 175
Iscritto il: 28 ago 2015, 6:27

0
voti

[2] Re: basi di dati e dipendenza funzionale: definizione di imp

Messaggioda Foto Utenteclaudiocedrone » 14 giu 2019, 2:33

Foto Utenteziomangrovia, per LaTeX puoi usare questo editor.
"Non farei mai parte di un club che accettasse la mia iscrizione" (G. Marx)
Avatar utente
Foto Utenteclaudiocedrone
14,4k 4 6 9
Master
Master
 
Messaggi: 9983
Iscritto il: 18 gen 2012, 13:36

0
voti

[3] Re: basi di dati e dipendenza funzionale: definizione di imp

Messaggioda Foto Utenteziomangrovia » 14 giu 2019, 5:55

claudiocedrone ha scritto:Foto Utenteziomangrovia, per LaTeX puoi usare questo editor.


grazie della segnalazione
ma ora non posso più modificare il messaggio devo riscriverlo?
Avatar utente
Foto Utenteziomangrovia
45 1 6
Frequentatore
Frequentatore
 
Messaggi: 175
Iscritto il: 28 ago 2015, 6:27

0
voti

[4] Re: basi di dati e dipendenza funzionale: definizione di imp

Messaggioda Foto Utenteclaudiocedrone » 15 giu 2019, 1:23

Quello che avevi scritto in LaTeX lo ho modificato io...
"Non farei mai parte di un club che accettasse la mia iscrizione" (G. Marx)
Avatar utente
Foto Utenteclaudiocedrone
14,4k 4 6 9
Master
Master
 
Messaggi: 9983
Iscritto il: 18 gen 2012, 13:36

0
voti

[5] Re: basi di dati e dipendenza funzionale: definizione di imp

Messaggioda Foto UtenteStarbyte » 23 giu 2019, 10:14

ziomangrovia ha scritto:dato un insieme F di dipendenze funzionali (FD) definito sullo schema R(Z)
e sia X\rightarrow{Y} una dipendenza funzionale di F:

si dice che F implicaX\rightarrow{Y}
se per ogni istanza r su R, che verifica tutte le dipendenze funzionali in F,
risulta verificata anche per X\rightarrow{Y}



Sì, in effetti il "risulta verificata anche per X\rightarrow{Y} " è pleonastico.
Io mi ricordo una def. più discorsiva:
"Una dipendenza funzionale DF è implicata da un insieme F di DF, se f è soddisfatta quando sono soddisfatte tutte le DF in F."
Avatar utente
Foto UtenteStarbyte
30 2
 
Messaggi: 30
Iscritto il: 21 ago 2018, 19:37

0
voti

[6] Re: basi di dati e dipendenza funzionale: definizione di imp

Messaggioda Foto Utenteziomangrovia » 3 lug 2019, 6:20

questo mi torna, grazie
Avatar utente
Foto Utenteziomangrovia
45 1 6
Frequentatore
Frequentatore
 
Messaggi: 175
Iscritto il: 28 ago 2015, 6:27


Torna a PC e informatica

Chi c’è in linea

Visitano il forum: Nessuno e 3 ospiti