问题如下
已知 AB推C，AC推D。 其中AB为候选码，问AB与D存在传递函数依赖吗
按照你的描述，存在间接依赖，d依赖ac，其中c又依赖ab
AB → C
AC → D
如果我们能够推导出 AB → D，那么就可以说明存在传递函数依赖。
根据传递规则，如果存在 A → B 和 B → C，那么就可以推导出 A → C。我们可以应用这个规则来推导出 AB → D：
AB → C (已知)
AC → D (已知)
A → A (自反律)
B → B (自反律)
AB → A (分解律)
AB → C (已知)
ABC → D (合并律)
AC → C (分解律)
ABC → C (合并律)
AB → ABC (合并律)
AB → D (合并律)
因此，我们可以得出结论：AB 与 D 存在传递函数依赖，即 AB → D。