Forum by laureateci.it - Dipendenze funzionali basi di dati

Nome Utente:	Password:
Salva Password
Password Dimenticata?

Tutti i Forum

ITPS - Secondo Anno

Progettazione di Basi di dati + Lab.

Dipendenze funzionali basi di dati

Nuova Discussione

Nuovo Sondaggio

Rispondi

Versione Stampabile

Aggiungi Segnalibro

Autore

Discussione

fabio_bit
Nuovo Utente

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?

The_Mad_Hatter
Utente medio

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

Discussione

Nuova Discussione

Nuovo Sondaggio

Rispondi

Versione Stampabile

Aggiungi Segnalibro

Vai a:

Forum by laureateci.it

Il DB ha risposto in 0,14 secondi.