能否求证数据库无损连接分解？

无损连接分解的普通判别方法——表格法，与无损连接分解的快捷判别方法(R1∩R2)→(R1–R2)或(R1∩R2)→(R2–R1)。大家已经非常熟悉。那么，能否用数学方式证明，表格法某行全为a(a1 a2 ...)时，就表示了无损连接呢？我只知其然，不知其所以然，谢谢！