\contentsline {section}{\numberline {1}Introduction}{2}
\contentsline {section}{\numberline {2}Notation and Basic Concepts}{3}
\contentsline {subsection}{\numberline {2.1}Theories}{3}
\contentsline {subsection}{\numberline {2.2}Functional Dependencies}{4}
\contentsline {subsection}{\numberline {2.3}Condensation}{6}
\contentsline {subsection}{\numberline {2.4}Horn Theories}{7}
\contentsline {subsection}{\numberline {2.5}Examples}{8}
\contentsline {section}{\numberline {3}Recognizing Functional Dependencies in Horn Theories}{9}
\contentsline {section}{\numberline {4}Structure of Functional Dependencies in Horn Theories}{12}
\contentsline {section}{\numberline {5}Inferring Functional Dependencies in Horn Theories}{17}
\contentsline {subsection}{\numberline {5.1}Horn Theories with Large FD-Cover}{17}
\contentsline {subsection}{\numberline {5.2}Recognizing Irredundant FD-Cover Dependencies}{18}
\contentsline {subsection}{\numberline {5.3}Aggregate Description of Minimal Functional Dependencies}{20}
\contentsline {subsection}{\numberline {5.4}Inferring All Minimal Functional Dependencies}{22}
\contentsline {section}{\numberline {6}Condensation of Horn Theories}{28}
\contentsline {section}{\numberline {7}Concluding Remarks}{33}
\contentsline {section}{References}{35}