关系模式转换为BC范式无损分解的研究与分析

我们知道一个非规范化的关系模式可能导致数据冗余、数据更新异常等一系列问题，而解决的办法是通过模式分解的方法使之规范化。但关系模式的分解并不是随意的，往往受到各种约束。概括来说：不管用什么途径实现分解，总要求分解后产生的模式必须与原来的模式等价。等价涉及两个问题，首先是信息不失真，即原来的本应存储在一个关系中的数据，由于分解将要分散到多个关系中，要求后者通过自然连接能够恢复原来的关系，使得既不丢失信息又不增加信息，这就是所谓分解的无损连接陛。