6.1问题的提出6.2函数依赖及公理系统*6.3模式的分解6.4范式6.5小结