28 lines
1.3 KiB
TeX
28 lines
1.3 KiB
TeX
% !TEX root = ../main.tex
|
||
|
||
\textbf{Schema logico relazionale in formato testuale}
|
||
\begin{lstlisting}[style=SQLu,escapechar=@]
|
||
Tabella(_ChiavePrimaria_, B, C, D)
|
||
AltraTabella(_ChiavePrimariaEdEsterna*_, E)
|
||
@\textellipsis@
|
||
\end{lstlisting}
|
||
|
||
\paragraph{Dipendenze funzionali}
|
||
\begin{itemize}
|
||
\item Per ogni tabella la chiave primaria (sottolineata) determina ciascuno degli attributi della tabella
|
||
\item Altre eventuali dipendenze
|
||
\end{itemize}
|
||
|
||
|
||
Uno schema R, avente insieme di attributi T e insieme di dipendenze funzionali F, \lstinline{R<T, F>}, è
|
||
in forma normale di Boyce-Codd (BCNF) se ogni dipendenza funzionale della chiusura di F o è
|
||
banale o ha come determinante una superchiave di T.
|
||
Esiste un teorema che semplifica il calcolo, asserendo che se la condizione di cui sopra vale per
|
||
una qualsiasi copertura di F allora vale per l’intera chiusura di F.
|
||
|
||
Nella copertura di F che ho descritto sopra (che peraltro è canonica: ogni dipendenza ha un
|
||
solo attributo come determinato, nessuna dipendenza è ridondante e non sono presenti
|
||
attributi estranei, in quanto ogni determinante è chiave), ogni dipendenza funzionale ha
|
||
come determinante o la chiave primaria o una chiave naturale che non è stata scelta come
|
||
primaria, in ogni caso una superchiave. \underline{La BCNF è pertanto rispettata}.
|