数据库保持依赖算法
存在一个关系模式R,将此关系模式分解成{ },且i {1,2,3,4,……n}
此关系模式对应有函数依赖 F
有如下算法(伪代码)判断是否该关系模式分解为保持依赖的:
for each //计算F中α在所有
result := α
for each
if
//
continue
else
NO-depredent-preserving-decomposition
存在一个关系模式R,将此关系模式分解成{ },且i {1,2,3,4,……n}
此关系模式对应有函数依赖 F
有如下算法(伪代码)判断是否该关系模式分解为保持依赖的:
for each //计算F中α在所有
result := α
for each
if
//
continue
else
NO-depredent-preserving-decomposition