数据库函数依赖集怎么求

网站编辑2023-07-07 17:07:35491

例如，如果要计算A到D的函数依赖集，可以将F1中的所有函数依赖右边化为单一属性：

F1[A→B] = F1[A→C] & (F1[B] || A[C] != B[C]);

或者将F1中的所有函数依赖右边化为单一属性，并使用函数参数 F1 = {A,B,C}:

F1[A] = (A || B) & (F1[B] || A[C] != B[C]);

其中，参数 F1 是F1中的每个函数依赖集的右边，参数 B 和 C 是函数依赖集中包含的右边。