在全局E-R模型的优化过程中，通常利用规范化理论中______的概念消除冗余联系。