传递性是函数依赖的重要性质之一，即如果存在A → B和B → C，那么必须有A → C。其他选项要么错误描述了依赖关系，要么与定义相反。