database - BCNF と 3NF: データベース スキーマの正規化

Question

スキーマを BCNF または 3NF 形式に変換する場合、それらはロスレスであることが保証されていますか。つまり、BCNF または 3NF の条件に違反する依存関係を持つリレーショナル スキーマ R が R1 と R2 に分解され、R1 と R2 が BCNF または 3NF になる場合です。 R1 と R2 は常に次の条件を満たしますか。

R1 ⋈ R2 = R