设计性能较好的关系模式称为规范化，规范化的主要理论依据是（）