数据库范式,关系模式的分解,函数依赖的定义