mysql - 如何理解模式是否在 BCNF 中

Question

我非常了解这个概念，BCNF所以有人以这种格式给我一个关系，比如

R = {P, Q, S}
F = {PQ->S, PS->Q, QS->P}

我可以很容易地说这种关系在 BCNF 中，因为左侧的所有键也是超级键。但是，如果我得到一个真实世界的问题，如下图所示：

那么我将如何确定这个模式是否在BCNF？我将如何从架构中创建功能依赖关系，然后发现super keys？谁能给我一些解决这些问题的建议？

如果将架构​​转换为：

Code -> City, State
Flightnum -> .....
model -> ...
cid -> ....
Cid, flightnum, date -> ...

那么显然这不在 BCNF 中，但答案是以下模式是 BCNF，我无法理解他们是如何推导出方程的。

Answer 1

非正式地，如果模式的所有关系都在 BCNF 中，则该模式在 BCNF 中。

我将如何从架构创建功能依赖项。. .

如果没有任何其他上下文，我会假设图像中带下划线的属性是主键中的属性。

所以我读到这张图片说

代码->城市，州
cid->名称，城市
等等

这些是您的功能依赖项。