Related


Verifica della Chiave

È possibile determinare se un sotto schema di uno schema razionale è chiave utilizzando il calcolo della Chiusura di un Insieme di Attributi.

Metodo

Prima di tutto dobbiamo dimostrare che il sotto schema è almeno una super-chiave, ovvero che raggiunge tutto .

Per fare ciò calcoliamo la chiusura di e verifichiamo che sia uguale a .

Fatto ciò dobbiamo verificare che si una chiave (minimale) ovvero che non esista un suo sotto insieme che è a sua volta chiave.

Per fare ciò dobbiamo calcolare la chiusura dei sottoinsiemi di e se nessuna di queste è uguale ad abbiamo dimostrate che è una chiave minimale.

Per rendere il procedimento più rapito si possono seguire questi consigli.

Consigli

  1. Un attributo che non compare mai come dipendente (a destra) sarà sicuramente parte di tutte le chiavi.
  2. Un attributo che compare sempre come dipendente (a destra) non farà parte delle chiavi.
  3. Per verificare se una super-chiave è anche una chiave, è necessario controllare che nessuno dei suoi sottoinsiemi sia una chiave. Un modo efficiente per farlo è partire dai sottoinsiemi più grandi e verificare se la loro chiusura contiene tutti gli attributi. Se non è così, si può escludere che il sottoinsieme sia una chiave e non è necessario proseguire con i suoi sottoinsiemi.

Trovare tutte le Chiavi

Per trovare tutte le chiavi di un schema relazionale possiamo utilizzare questi consigli per identificare quali attributi fanno e non fanno sicuramente parte delle chiavi. Poi testare tutte le possibili combinazioni di attributi utilizzando il metodo visto precedentemente.

Naturalmente conviene iniziare dalle combinazioni più piccole infatti se trova una chiave, puoi escludere tutte le combinazioni più grandi che includono quella chiave.

Metodo Alternativo

Alternativamente si può cominciare dagli insiemi individuati dalle dipendenze funzionali ovvero:

Data una dipendenza calcoliamo la chiusura dell’insieme di attributi .

Se la chiusura di questo insieme contiene allora è super-chiave, (serve verificare che sia una chiave minimale).

Test Unicità

Tecnica che ci permette determinare se uno schema relazionale ha 1 o più chiavi.

Calcoliamo l’intersezione di tutti gli insiemi ottenuti con la formula di prima e chiamiamo l’insieme effettuiamo la chiusura di .

  • Se il risultato della chiusura è allora è l’unica chiave, altrimenti c’è più di una chiave in .