Abstract
Smith’s method is a formal technique for deriving a set of normalised relations from a functional dependency diagram (FDD). Smith’s original rules for deriving these relations are incomplete, as they do not fully address the issue of determining the foreign key links between relations. In addition, one of the rules for deriving foreign keys can produce incorrect results, while the other rule is difficult to automate. In this paper are described solutions these issues.