問題タブ [bcnf]

私はたくさんグーグルで検索しましたが、その質問に対する答えは見つかりませんでした.

最初の 3 つの正規形は常識です。一貫性を保ち、異常を避けるために使用されます。しかし、なぜ BCNF と第 4 正規形が必要なのでしょうか?

（5番目は、それが何をするのかさえ理解していないので、あえて尋ねません）

の概念をよく理解してBCNFいたので、誰かがこの形式で関係を与えてくれます。

左側のすべてのキーもスーパーキーであるため、関係は BCNF にあると簡単に言えます。しかし、下の画像のような実際の質問が表示された場合:

では、このスキーマが にあるかどうかをどのように判断しますBCNFか? スキーマから機能的な依存関係を作成し、それを知るにはどうすればよいsuper keysですか? そのような質問を解決するための指針を誰かに教えてもらえますか?

スキーマを次のように変換すると:

明らかにこれは BCNF ではありませんが、答えは次のスキーマが BCNF であり、その式をどのように導き出したのか理解できません。

ウィキペディアによると

今日の裁判所予約

• テーブルの各行は、ハード コート (コート 1) とグラス コート (コート 2) が 1 つずつあるテニス クラブのコート予約を表しています。
• 予約は、その裁判所と裁判所が予約されている期間によって定義されます
• さらに、各予約には料金タイプが関連付けられています。4 つの異なる料金タイプがあります。
  • SAVER、メンバーによるコート 1 の予約の場合
  • STANDARD、非会員によるコート 1 予約の場合
  • PREMIUM-A、会員様がコート2をご予約の場合
  • PREMIUM-B、非会員によるCourt 2予約用

テーブルのスーパーキーは次のとおりです。

• S1 = {コート、開始時間}
• S2 = {コート、終了時間}
• S3 = {料金タイプ、開始時間}
• S4 = {料金タイプ、終了時間}
• S5 = {コート、開始時間、終了時間}
• S6 = {料金タイプ、開始時間、終了時間}
• S7 = {コート、料金タイプ、開始時間}
• S8 = {コート、料金タイプ、終了時間}
• ST = {Court, Rate Type, Start Time, End Time}、簡単なスーパーキー

上記の表では、開始時間と終了時間の属性に重複する値がありませんが、コート 1 とコート 2 の 2 つの異なる予約が同時に開始または終了する可能性があることを認めなければなりません。同時に。これが、{Start Time} と {End Time} がテーブルのスーパーキーと見なされない理由です。

S1 = {コート、開始時間}、スーパーキーはどうですか?

1 日目に、会員が 11:00 から 12:00 までコート 1 を予約し、2 日目に非会員が 11:00 から 12:00 までコート 1 を予約するとします。

テーブル内のレコードは {1,11:00,12:00, SAVER} および {1,11:00,12:00, STANDARD} になります。

明らかに、S1 = {Court, Start Time} はスーパーキーではありません。それとも私が間違っていますか？

Are all relations in bcnf provide lossless join or can any relation be bcnf but not lossless join at the same tiem?

Is there a way to show that a relation that is not in bcnf but NOT lossless join.

これらの依存関係の BCNF 分解は何ですか?

答えにたどり着くまでのプロセスとは？

ねえ、私は次のような課題を持っています：

R(ABCD) を関数従属性 A → B、C → D、AD → C、BC → A の関係とする R のボイス-コッド正規形 (BCNF) への無損失結合分解は次のうちどれですか?

私はYouTubeでビデオを調査して見てきましたが、これを開始する方法が見つからないようです。それをサブスキーマに分解し、テーブルに記入してどれがロスレスかを見つけることになっていると思いますが、それを始めるのに苦労しています。どんな助けでも大歓迎です！