3NF ופירוק ששומר משמעות
נאתר עובדה על ספק שנשמרת שוב ושוב ליד מוצרים, נפריד אותה, ונבדוק שהפירוק משחזר בדיוק את המקור. נלמד גם את כלל 3NF המלא, בלי להסתפק בסיסמה.
לכל תלות לא־טריוויאלית משתמעת X→A, טבלה ב־3NF דורשת ש־X יהיה מפתח־על או ש־A יהיה מאפיין ראשוני, כלומר חלק ממפתח מועמד כלשהו. פירוק צריך להיבדק גם לשחזור ללא אובדן ולשימור תלויות.