数据依赖,关系的范式,函数依赖的Armstrong公式系统,关系模式的分解