无损分解的测试

       例题：设关系模式R（ABCD），R分解成ρ={AB，BC，CD}。如果R上成立的函数依赖集是F₁={B→A，C→D}，那么ρ相对于F₁是否无损分解？如果R上成立的函数依赖集是F₂={ A→B，C→D}呢？

      第一步，构造表格:

             

      第一行为关系模式R的每一个属性A B C D，第一列为R的分解AB BC CD，如果属性在分解中，则在表格的第i行第j列填上a_j，否则填上b_ij。如第1行第1列，A在AB中，所以填上a₁；如第2行第1列，A不在BC中，所以填上b_21。

       第二步，根据函数依赖集修改表中的值。