Pagina 1 di 1

basi di dati e dipendenza funzionale: definizione di impli

MessaggioInviato: 13 giu 2019, 21:35
da ziomangrovia
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.

Re: basi di dati e dipendenza funzionale: definizione di imp

MessaggioInviato: 14 giu 2019, 2:33
da claudiocedrone
Foto Utenteziomangrovia, per LaTeX puoi usare questo editor.

Re: basi di dati e dipendenza funzionale: definizione di imp

MessaggioInviato: 14 giu 2019, 5:55
da ziomangrovia
claudiocedrone ha scritto:Foto Utenteziomangrovia, per LaTeX puoi usare questo editor.


grazie della segnalazione
ma ora non posso più modificare il messaggio devo riscriverlo?

Re: basi di dati e dipendenza funzionale: definizione di imp

MessaggioInviato: 15 giu 2019, 1:23
da claudiocedrone
Quello che avevi scritto in LaTeX lo ho modificato io...

Re: basi di dati e dipendenza funzionale: definizione di imp

MessaggioInviato: 23 giu 2019, 10:14
da Starbyte
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."

Re: basi di dati e dipendenza funzionale: definizione di imp

MessaggioInviato: 3 lug 2019, 6:20
da ziomangrovia
questo mi torna, grazie