数学库的第三范式是指表中的所有数据元素不但要能惟一地被主关键字所标识,而且它们之间还必须相互独立,不存在其他的函数关系。也就是说,对于一个满足2ndNF的数据结构来说,表中有可能存在某些数据元素依赖于其他非关键字数据元素的现象,必须消除。第三范式采用投影分解法将一个2NF的关系分解为多个3NF的关系,可在一定程度上解决原2NF关系中存在的插入异常、删除异常、数据冗余度大、修改复杂等问题。将一个2NF关系分解为多个3NF的关系后,并不能完全消除关系模式中的各种异常情况和数据冗余。