我在 BCNF 中有以下功能依赖项：
a,b -> c
a -> d
b -> d
有了附加约束， noa和b应该与 a c、 wherea和bhave 不同的ds 组合。
例子：
a | d b | d a | b | c
----- ----- ---------
1 | 3 5 | 3 1 | 5 | 6
2 | 4 2 | 5 | 7
第一行a,b,c是允许的 ( 1->3, 5->3)，但第二行是禁止的，因为 ( 2->4, 5->3) 4 != 3 …