Forum by laureateci.it
[ Home | REGOLE FORUM | Tutti i blog | Profilo | Registrati | CHAT | Discussioni Attive | Discussioni Recenti | Segnalibro | Msg privati | Sondaggi Attivi | Utenti | Download Informatica | Download ICD | Download TPS | Download Magistrale | Download Specialistica | Giochi | Cerca nel web | cerca | faq | RSS ]
Nome Utente:
 Password:
Salva Password
Password Dimenticata?

 Tutti i Forum
 ITPS - Secondo Anno
 Progettazione di Basi di dati + Lab.
 Dipendenze funzionali basi di dati

Nota: Devi essere registrato per poter inserire un messaggio.
Per registrarti, clicca qui. La Registrazione è semplice e gratuita!

Larghezza finestra:
Nome Utente:
Password:
Modo:
Formato: GrassettoCorsivoSottolineatoBarrato Aggiungi Spoiler Allinea a SinistraCentraAllinea a Destra Riga Orizzontale Inserisci linkInserisci EmailInserisci FlashInserisci Immagine Inserisci CodiceInserisci CitazioneInserisci Lista Inserisci Faccine
   
Icona Messaggio:              
             
Messaggio:

  * Il codice HTML è OFF
* Il Codice Forum è ON

Smilies
Approvazione [^] Arrabbiato [:(!] Bacio [:X] Bevuta [:273]
Caldo [8D] Compiaciuto [8)]    
compleanno [:269]
Davvero Felice [:D] Diavoletto [}:)] Disapprovazione [V] Domanda [?]
Felice [:)] Fumata [:29] Goloso [:P] Imbarazzato [:I]
Infelice [:(] Morte improvvisa da [:62]
Morto [xx(] Occhio Nero [B)] Occhiolino [;)] Palla 8 [8]
pc [:205]    
Riproduzione [:76]
Scioccato [:O]      

   Allega file
  Clicca qui per inserire la tua firma nel messaggio.
 Clicca qui per sottoscrivere questa Discussione.
    

V I S U A L I Z Z A    D I S C U S S I O N E
fabio_bit Inserito il - 28/01/2010 : 21:23:20
Ho delle regole di inferenza e devo dimostrare se sono vere o false... Se sono vere devo dimostrarle con le regole di armstrong e non è un problema. Se sono false deve creare un'istanza di relazione che soddisfi le condizioni e le dipendenze funzionali a primo membro della regola di inferenza ma non soddisfi le dipendenze a secondo membro. Un esempio falso è il seguente:
{X-->Z, Y-->Z} |= {X-->Y} la chiusura di x contiene solo X e Z quindi è sicuramente falsa ma non riesco a creare l'istanza di relazione... Mi aiutate?
1   U L T I M E    R I S P O S T E    (in alto le più recenti)
The_Mad_Hatter Inserito il - 28/01/2010 : 21:31:29

 X | Y | Z
-----------
 1 | 1 | 1
 2 | 1 | 1
 1 | 2 | 1


Questo è l'esempio più banale che mi è venuto in mente.
In questa istanza di relazione il valore di Z dipende funzionalmente da X e da Y, ma il valore di X non implica quello di Y, infatti:
  • se X == 1 allora Z = 1 (dalla prima e dalla terza tupla)
  • se Y == 1 allora Z = 1 (dalla prima e dalla seconda tupla)
  • tuttavia (e qui sta il controesempio) un valore di X non condiziona il valore di Y (vedi prima e terza tupla), pertanto non vale X -> Y

Forum by laureateci.it © 2002 - 2012 Laureateci Communications Torna all'inizio della Pagina
Il DB ha risposto in 0,05 secondi.

TargatoNA.it | SuperDeejay.Net | Antidoto.org | Brutto.it | Equiweb.it | Snitz Forum 2000