1. A->B在R上成立,关系R(A, B, C)等于其投影R1(A, B)和R2(A, C)的连接,反之则不然。

    当且仅当多值依赖A->->B在R上成立,关系R(A, B, C)等于其投影R1(A, B)和R2(A, C)的连接。

  2. A->B, A->C 则 A->(B, C)

    B->A, C->A 则 (B, C)->A,反之不成立(例:(学号,课程号)->成绩,但是不能推出学号->成绩和课程号->成绩)