关系模式无损分解的测试方法

     上周在看数据库原理的时候，对于无损分解的测试方法，看完两遍还是不明其中的真意，和同学探讨了一下，此博文说说我的理解。
    先明确无损分解中的“损”指的是信息的丢失。
    分解的优点
     1.能消除数据冗余和操作异常
     2.能存储更多的数据
    分解的不足
     1.在检索时需要做笛卡尔积或连接操作，会花费很多时间
     2.在有泛关系假设时，可能会损失信息
     所以模式分解要适可而止，但我们怎么知道模式分解之后信息没有丢失呢？大牛们已经总结出来的chase（追踪）过程，这个chase方法就可以测试一个分解是否是无损分解。
    测试方法：chase
     输入：关系模式R=A1…An，F是R上成立的函数依赖集，ρ={R1,…,Rk}是R的一个分解。
     输出：判断ρ相对于F是否具有无损分解特性。
     方法