next up previous contents index
Next: Schema graph Up: Rappresentazione formale degli schemi Previous: Rappresentazione formale degli schemi   Indice   Indice analitico

Dipendenze funzionali semplici

Una dipendenza FD $ X \to Y$ è semplice se $ \vert X \vert = \vert Y \vert = 1$. Dato un insieme $ F$ di dipendenze funzionali semplici su $ X$, diciamo che $ F$ è Aciclico (rispettivamente ciclico) se il grafo orientato $ (X,F)$ (cioè il grafo che contiene gli attributi in $ X$ come nodi e un arco $ (A,B) \forall A \to B \in F$) è aciclico (rispettivamente ciclico).

Un insieme $ F$ di dipendenze funzionali è canonico se [Mai83]: 4.1

Per ciascun insieme $ F$ di dipendenze funzionali esiste almeno una Copertura Canonica, cioè un insieme canonico $ F^0$ di $ FD$ tale che $ F \equiv F^0$ [Mai83].



Alessandro Ronchi 2005-07-16