Armp公理系统中有一条推理规则为：若X→Y为F所逻辑蕴涵，且Z

U，则XZ→YZ为F所逻辑蕴涵。这条推理规则称作______。

关系模式规范化需要考虑数据间的依赖关系，人们已经提供了多种类型的数据依赖，其中最重要的是函数依赖和 【1】 。