|
@@ -0,0 +1,21 @@
|
|
|
+% !TEX root = ../main.tex
|
|
|
+
|
|
|
+\textbf{Schema logico relazionale in formato testuale}
|
|
|
+\begin{lstlisting}[style=SQLu,escapechar=@]
|
|
|
+Tabella(@\underline{ChiavePrimaria}@, B, C, D)
|
|
|
+AltraTabella(@\underline{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.
|