判断是否保持函数依赖

发布时间：2020-12-14 01:35:36 所属栏目：百科来源：网络整理

导读：保持依赖的判断。如果F上的每一个函数依赖都在其分解后的某一个关系上成立，则这个分解是保持依赖的（这是一个充分条件）。如果上述判断失败，并不能断言分解不是保持依赖的，还要使用下面的通用方法来做进一步判断。该方法的表述如下：算法二：对F上的

保持依赖的判断。如果F上的每一个函数依赖都在其分解后的某一个关系上成立，则这个分解是保持依赖的（这是一个充分条件）。如果上述判断失败，并不能断言分解不是保持依赖的，还要使用下面的通用方法来做进一步判断。该方法的表述如下：算法二：对F上的每一个α→β使用下面的过程： result:=α; while(result发生变化)do for each 分解后的Ri t=(result∩Ri)+ ∩Ri result=result∪t

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!