\relax 
\citation{Smit:HC:1985}
\citation{Date:CJ:1995:IDS}
\citation{Smit:HC:1985}
\citation{Arms:WW:1974,Beer:C:1977,Date:CJ:1995:IDS}
\@writefile{toc}{\contentsline {section}{\numberline {1}Introduction}{1}}
\newlabel{Sec:SmithsMethod:Introduction}{{1}{1}}
\citation{Smit:HC:1985}
\@writefile{toc}{\contentsline {section}{\numberline {2}Overview of Smith's method}{2}}
\newlabel{Sec:SmithsMethod:Overview}{{2}{2}}
\@writefile{lof}{\contentsline {figure}{\numberline {1}{\ignorespaces Example of a dependency-list statement}}{2}}
\newlabel{Fig.SmithsMethod.DependencyListStatement}{{1}{2}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.1}Smith's FDD notation}{2}}
\newlabel{Sec:SmithsMethod:Overview:Notation}{{2.1}{2}}
\@writefile{lof}{\contentsline {figure}{\numberline {2}{\ignorespaces Attributes and bubbles}}{2}}
\@writefile{lof}{\contentsline {subfigure}{\string\numberline{2(a)}{\ignorespaces }}{2}}
\@writefile{lof}{\contentsline {subfigure}{\string\numberline{2(b)}{\ignorespaces }}{2}}
\@writefile{lof}{\contentsline {subfigure}{\string\numberline{2(c)}{\ignorespaces }}{2}}
\newlabel{Fig.SmithsMethod.AttributesBubbles}{{2}{2}}
\citation{Smit:HC:1985}
\newlabel{Fig.SmithsMethod.Dependencies.Single}{{3(a)}{3}}
\newlabel{Fig.SmithsMethod.Dependencies.Multi}{{3(b)}{3}}
\@writefile{lof}{\contentsline {figure}{\numberline {3}{\ignorespaces Single- and multivalued dependencies}}{3}}
\@writefile{lof}{\contentsline {subfigure}{\string\numberline{3(a)}{\ignorespaces \string\label{Fig.SmithsMethod.Dependencies.Single}}}{3}}
\@writefile{lof}{\contentsline {subfigure}{\string\numberline{3(b)}{\ignorespaces \string\label{Fig.SmithsMethod.Dependencies.Multi}}}{3}}
\newlabel{Fig.SmithsMethod.Dependencies}{{3}{3}}
\newlabel{Fig.SmithsMethod.MultiFlags.Bubbles}{{4(a)}{3}}
\newlabel{Fig.SmithsMethod.MultiFlags.Flags}{{4(b)}{3}}
\@writefile{lof}{\contentsline {figure}{\numberline {4}{\ignorespaces Multiple bubbles and domain flags}}{3}}
\@writefile{lof}{\contentsline {subfigure}{\string\numberline{4(a)}{\ignorespaces \string\label{Fig.SmithsMethod.MultiFlags.Bubbles}}}{3}}
\@writefile{lof}{\contentsline {subfigure}{\string\numberline{4(b)}{\ignorespaces \string\label{Fig.SmithsMethod.MultiFlags.Flags}}}{3}}
\newlabel{Fig.SmithsMethod.MultiFlags}{{4}{3}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.2}Smith's method for deriving a set of relations from an FDD}{3}}
\newlabel{Sec:SmithsMethod:Overview:DerivingRelations}{{2.2}{3}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {2.2.1}Single-valued dependencies composed into relations}{3}}
\newlabel{1@xvr}{{}{3}}
\newlabel{1@vr}{{}{3}}
\citation{Smit:HC:1985}
\citation{Date:CJ:1995:IDS}
\citation{Smit:HC:1985}
\citation{Smit:HC:1985}
\@writefile{lof}{\contentsline {figure}{\numberline {5}{\ignorespaces Deriving a relation from a single-valued dependency}}{4}}
\newlabel{Fig.SmithsMethod.SVD}{{5}{4}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {2.2.2}End-key dependencies composed into relations}{4}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {2.2.3}Isolated bubbles composed into relations}{4}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {2.2.4}Practicable diagrams}{4}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {2.2.5}Additional guidelines}{4}}
\@writefile{lof}{\contentsline {figure}{\numberline {6}{\ignorespaces Deriving a relation from an end-key dependency}}{5}}
\newlabel{Fig.SmithsMethod.Endkey}{{6}{5}}
\@writefile{lof}{\contentsline {figure}{\numberline {7}{\ignorespaces Correcting an impracticable FDD}}{5}}
\@writefile{lof}{\contentsline {subfigure}{\string\numberline{7(a)}{\ignorespaces Not practicable}}{5}}
\@writefile{lof}{\contentsline {subfigure}{\string\numberline{7(b)}{\ignorespaces Practicable}}{5}}
\newlabel{Fig.SmithsMethod.Practicable}{{7}{5}}
\citation{Smit:HC:1985}
\citation{Smit:HC:1985}
\citation{Smit:HC:1985}
\citation{Smit:HC:1985}
\citation{Date:CJ:1995:IDS}
\citation{Date:CJ:1995:IDS,Elma:R:1994}
\@writefile{toc}{\contentsline {section}{\numberline {3}Issues with deriving foreign keys}{6}}
\newlabel{Sec:SmithsMethod:FKProblem}{{3}{6}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.1}Non-derivable foreign keys}{6}}
\@writefile{lof}{\contentsline {figure}{\numberline {8}{\ignorespaces Foreign keys that cannot be derived using the existing rules}}{6}}
\newlabel{Fig.SmithsMethod.UnderivableFKs}{{8}{6}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.2}Invalid foreign keys}{6}}
\newlabel{2@xvr}{{}{6}}
\newlabel{2@vr}{{}{6}}
\citation{Stan:N:1997:ECIS97,Stan:N:1999:PhD}
\@writefile{lof}{\contentsline {figure}{\numberline {9}{\ignorespaces Derivation of invalid foreign keys}}{7}}
\newlabel{Fig.SmithsMethod.InvalidFKs}{{9}{7}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3}Automation of the domain flag rule}{7}}
\@writefile{toc}{\contentsline {section}{\numberline {4}Proposed modifications}{7}}
\newlabel{Sec:SmithsMethod:Solution}{{4}{7}}
\@writefile{lof}{\contentsline {figure}{\numberline {10}{\ignorespaces `Target' attribute domain flag notation}}{8}}
\newlabel{Fig.SmithsMethod.DFSource}{{10}{8}}
\@writefile{toc}{\contentsline {section}{\numberline {5}Example}{8}}
\newlabel{Sec:SmithsMethod:Examples}{{5}{8}}
\newlabel{3@xvr}{{}{9}}
\newlabel{3@vr}{{}{9}}
\@writefile{lof}{\contentsline {figure}{\numberline {11}{\ignorespaces E-R description of the assessment marks viewpoint (normalised)}}{9}}
\newlabel{Fig.MarksERDNorm}{{11}{9}}
\newlabel{4@xvr}{{}{9}}
\newlabel{4@vr}{{}{9}}
\citation{Date:CJ:1995:IDS}
\@writefile{lof}{\contentsline {figure}{\numberline {12}{\ignorespaces Functional dependency description of the assessment marks viewpoint}}{10}}
\newlabel{Fig.MarksFDD}{{12}{10}}
\citation{Stan:N:1997:ECIS97,Stan:N:1997:DP9708,Stan:N:1997:APSEC97}
\bibstyle{dcu}
\bibdata{Baxter:Research:Biblio}
\harvardcite{Arms:WW:1974}{Armstrong}{Armstrong}{1974}
\harvardcite{Beer:C:1977}{Beeri, Fagin \harvardand \ Howard}{Beeri et~al.}{1977}
\harvardcite{Date:CJ:1995:IDS}{Date}{Date}{1995}
\harvardcite{Elma:R:1994}{Elmasri \harvardand \ Navathe}{Elmasri \harvardand \ Navathe}{1994}
\harvardcite{Smit:HC:1985}{Smith}{Smith}{1985}
\@writefile{toc}{\contentsline {section}{\numberline {6}Conclusion}{12}}
\newlabel{Sec:Conclusions}{{6}{12}}
\harvardcite{Stan:N:1999:PhD}{Stanger}{Stanger}{1999}
\harvardcite{Stan:N:1997:ECIS97}{Stanger \harvardand \ Pascoe}{Stanger \harvardand \ Pascoe}{1997a}
\harvardcite{Stan:N:1997:DP9708}{Stanger \harvardand \ Pascoe}{Stanger \harvardand \ Pascoe}{1997b}
\harvardcite{Stan:N:1997:APSEC97}{Stanger \harvardand \ Pascoe}{Stanger \harvardand \ Pascoe}{1997c}