In the following chapter we re-examine the process of identifying functional dependen- cies that are useful for normalization and take the process of normalization further by dis- cussing normal forms that go beyond 3NF such as Boyce–Codd Normal Form (BCNF). Also in this chapter we present a second worked example taken from the DreamHomecase study that reviews the process of normalization from UNF through to BCNF.