While the main purpose of this chapter is to introduce the concept of functional depen- dencies and describe normalization up to Third Normal Form (3NF), in Chapter 14 we take a more formal look at functional dependencies and also consider later normal forms that go beyond 3NF