There are many changes to this chapter from the 3 edition. 1NF is now defined formally. Functional dependencies are now covered in this chapter, instead of Chap- ter 6. The reason is that normalization provides the real motivation for functional dependencies, since they are used primarily for normalization. We have described a simplified procedure for functional dependency inference based on attribute closure, and provided simplified procedures to test for normal forms. Coverage of multivalued dependency theory and normal forms beyond 4NF (that is, PJNF and DKNF) has been moved into Appendix C (which is available on the web, not in the print form of the book). The process of practical.