在我们的数据库课程中,我们的讲师将其作为依赖保留分解的示例进行了展示:
R(A, B, C) with F = { A->B, B->C } decomposed into R1(A, B) and R2(A, C)
为了使分解保持依赖关系,数据库系统必须能够在分解的关系之一中本地检查原始 F 的每个函数依赖关系,而无需执行任何连接。
在这里,我的理解是函数依赖B->C
丢失了,因为它不能在本地检查R1
或R2
. 但是我的导师声称它是由及物性保留的,因为A->C
.
有人可以澄清为什么会这样吗?