填空题 （）是指：如果关系r的两个元组在α上的属性值相等，则它们在β上的属性值也必然相等。

填空题 （）是衡量模式优劣的标准，（）表达了模式中数据依赖之间应满足的联系。

填空题 在数据库中，数据的冗余会引起各种操作异常，包括插入异常、删除异常、更新困难。可以通过（），将复杂的关系模式分解成若干比较小的关系模式消除冗余。