关于非平凡依赖函数

题目

关于非平凡依赖函数
r：A B C s：A D E
2 1 1 2 1 6
2 2 1 3 6 8
2 2 1 1 3 5
3 2 3 4 1 5
List all nontrivial functional dependencies satisfied by relation R.

答案

A -> C
{A,B} -> C
C -> A
{C,B} -> A
其中,X -> Y 意味着对X中的任何一个元素唯一对应一个Y中的元素.当然,对于X中的不同元素,可以对应Y中的同一个元素.
当Y是X的子集时,X->Y称为平凡的依赖函数.